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