Sort by
Refine Your Search
-
theory and non-standard logics, preferably within one of the two branches of the project: Modal Logic of Forcing Inner Models from Extended Logics These are active fields within set theory, with many
-
on the interactions between set theory and non-standard logics, preferably within one of the two branches of the project: Modal Logic of Forcing Inner Models from Extended Logics These are active fields within set
-
are we looking for We are looking for candidates with a background in set theory and/or logic, preferably including either modal logic, forcing, or inner model theory. The candidate shall have a Master's
-
Asia, including research visits abroad. The contract is fixed-term and follows Aalto's standard 2+2 model. It will be made initially for two (2) years, with a six (6) month probationary period, and