Opendata, web and dolomites
H2020 projects about "axioms"
The page lists 7 projects related to the topic "axioms".
| # | |||
|---|---|---|---|
| 1 | PAnaMoL | Proof-theoretic Analysis of Modal Logics | 2015 |
| 2 | GaugedBH | Black holes in gauged Supergravity: Supersymmetric and Holographic properties | 2017 |
| 3 | LiKo | From Liouville to Kolmogorov: 2d quantum gravity, noise sensitivity and turbulent flows | 2016 |
| 4 | Philosophy Forcing | Forcing in Contemporary Philosophy of Set Theory | 2017 |
| 5 | NEEM | The New Ecology of Expressive Modes in Early Modern South India | 2018 |
| 6 | BeyondA1 | Set theory beyond the first uncountable cardinal | 2018 |
| 7 | SAIFIA | Strong Axioms of Infinity: Frameworks, Interactions and Applications | 2020 |