The page lists 3 projects related to the topic "definability".
# | |||
---|---|---|---|
1 | DISTRUCT | Structure Theory for Directed Graphs | 2015 |
2 | REGPROP | Regularity properties, definability and combinatorics on the real line. | 2017 |
3 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |