Wyniki wyszukiwania
Znaleziono 10 projektów spełniających kryteria wyszukiwania:
-
1. Aksjomaty forsingowe, modele wewnętrzne i determinacja
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: MAESTRO 15, panel: ST1
-
2. Klasyfikowanie modeli Pochodnych Aksjomatu Determinacji
Kierownik: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: WEAVE-UNISONO, panel: ST1
-
3. Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Kierownik: dr Oskar Skibski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 16, panel: ST6
-
4. Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne
Kierownik: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Konkurs: OPUS 9, panel: HS1
-
Kierownik: dr Anna Petiurenko
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Konkurs: PRELUDIUM 19, panel: HS1
-
6. Generyczne duże liczby kardynalne i determinacja.
Kierownik: dr hab. Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: WEAVE-UNISONO, panel: ST1
-
7. Lightcone Normality of Infravacuum States
Kierownik: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 20, panel: ST1
-
Kierownik: prof. Witold Michał Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 19, panel: ST1
-
9. Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów
Kierownik: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 11, panel: ST6
-
10. Formalne teorie prawdy i niestandardowe modele arytmetyki
Kierownik: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: PRELUDIUM 7, panel: HS1