Projekty finansowane przez NCN

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Generyczne duże liczby kardynalne i determinacja.

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr hab. Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Aksjomaty forsingowe, modele wewnętrzne i determinacja

Konkurs: MAESTRO 15 , panel: ST1

Kierownik: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji

Konkurs: WEAVE-UNISONO , panel: ST1

Kierownik: dr Grigor Sargsyan

Instytut Matematyczny Polskiej Akademii Nauk

Stożkowa Normalność Stanów Infra-próżniowych

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: Bartosz Biadasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Interpretując Euklidesa

Konkurs: PRELUDIUM 19 , panel: HS1

Kierownik: Anna Petiurenko

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Piotr Faliszewski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Konkurs: OPUS 9 , panel: HS1

Kierownik: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki