2 projects found matching your search criteria :
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
Generic large cardinals and determinacy
Call: WEAVE-UNISONO , Panel: ST1
Principal investigator: dr hab. Grigor Sargsyan
Instytut Matematyczny Polskiej Akademii Nauk