Search results
10 projects found matching your search criteria:
-
1. Forcing axioms, inner models and determinacy
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Call: MAESTRO 15, Panel: ST1
-
2. Classifying Derived Models of the Axiom of Determinacy
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Call: WEAVE-UNISONO, Panel: ST1
-
3. Group Centrality Measures: Axioms, Algorithms and Applications
Principal investigator: dr Oskar Skibski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 16, Panel: ST6
-
4. Extremal axioms: logical, mathematical and cognitive aspects
Principal investigator: prof. Jerzy Pogonowski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Call: OPUS 9, Panel: HS1
-
Principal investigator: dr Anna Petiurenko
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Call: PRELUDIUM 19, Panel: HS1
-
6. Generic large cardinals and determinacy
Principal investigator: dr hab. Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk
Call: WEAVE-UNISONO, Panel: ST1
-
7. Stożkowa Normalność Stanów Infra-próżniowych
Principal investigator: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: PRELUDIUM 20, Panel: ST1
-
Principal investigator: prof. Witold Michał Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 19, Panel: ST1
-
9. Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 11, Panel: ST6
-
10. Formal theories of truth and nonstandard models of arithmetic
Principal investigator: Michał Tomasz Godziszewski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: PRELUDIUM 7, Panel: HS1