The page lists 3 projects related to the topic "woodin".
# | |||
---|---|---|---|
1 | REGPROP | Regularity properties, definability and combinatorics on the real line. | 2017 |
2 | IMIC | Inner models and infinite computations | 2018 |
3 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |