Opendata, web and dolomites
H2020 projects about "definable"
The page lists 8 projects related to the topic "definable".
| # | |||
|---|---|---|---|
| 1 | MODFIN | Model theory of finite and pseudofinite structures | 2016 |
| 2 | GROUPNIP | Model theory of groups in NIP theories | 2017 |
| 3 | CSP-Infinity | Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones | 2016 |
| 4 | CANT | Prepared for Every Fortune:Cynicism as an Analytical and Normative Perspective in Democratic Theory | 2017 |
| 5 | IMIC | Inner models and infinite computations | 2018 |
| 6 | EffectiveTG | Effective Methods in Tame Geometry and Applications in Arithmetic and Dynamics | 2018 |
| 7 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |
| 8 | DEFGROUP | Definable and pseudofinite groups | 2020 |