Projekty finansowane przez NCN
Aksjomatyzacje rozmaitości i quasirozmaitości
2011/01/D/ST1/06136
Słowa kluczowe:
Rozmaitości quasirozmaitości topologiczne quasirozmaitości systemy dedukcyjne skończone aksjomatyzacje nieskończone aksjomatyzacje pierwszorzędowe aksjomatyzacje.
Deskryptory:
- ST1_2: Algebra
- ST1_1: Logika i podstawy matematyki
Panel:
ST1 - Nauki matematyczne: wszystkie dziedziny matematyki, teoretyczne oraz stosowane a także podstawy matematyczne informatyki, fizyka matematyczna i statystyka matematyczna
Jednostka realizująca:
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
woj. mazowieckie
Konkurs: SONATA 1 - ogłoszony 2011-03-15
Przyznana kwota: 276 000 PLN
Rozpoczęcie projektu: 2011-12-01
Zakończenie projektu: 2017-11-30
Planowany czas trwania projektu: 72 miesięcy (z wniosku)
Status projektu: Projekt rozliczony