-
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
Searches related to fluent model
Enter an email to receive alerts for fluent-model positions