Opendata, web and dolomites

H2020 projects about "axioms"

The page lists 7 projects related to the topic "axioms".

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