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 |