5 projects found matching your search criteria :
Call: PRELUDIUM 6 , Panel: ST7
Principal investigator: Maria Katarzyna Strąkowska
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Higher-order logic and absoluteness phenomena in set theory
Call: SONATA 19 , Panel: HS1
Principal investigator: dr Bartosz Wcisło
Uniwersytet Gdański, Wydział Nauk Społecznych
Call: SONATA 19 , Panel: NZ4
Principal investigator: dr Magdalena Agata Wojtas
Politechnika Wrocławska
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: CHIST-ERA2020 , Panel: ST1
Principal investigator: dr Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk