Opendata, web and dolomites
H2020 projects about "definability"
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 |