Opendata, web and dolomites

H2020 projects about "woodin"

The page lists 3 projects related to the topic "woodin".

# achronym  title  year 
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