1.2k citations
- V. Vedral2 profiles23 · h 81
- K. Kosack2 profiles19 · h 57
- W. Hofmann2 profiles19 · h 76
- J. Hinton3 profiles18 · h 61
- M. Hoare3 profiles18 · h 43
- S. Fegan2 profiles18 · h 104
- D. Horns2 profiles17 · h 69
- G. Dubus2 profiles17 · h 64
- I. Jung2 profiles17 · h 43
- W. Domainko3 profiles17 · h 47
- B. Giebels4 profiles16 · h 83
- C. Farnier3 profiles16 · h 83
- Centre National de la Recherche ScientifiqueFR46 papers
- Université Paris CitéFR28 papers
- Max Planck Institute for Nuclear PhysicsDE27 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR26 papers
- Sorbonne UniversitéFR24 papers
- Université Joseph FourierFR24 papers
- Dublin Institute For Advanced StudiesIE23 papers
- Laboratoire de Physique Nucléaire et de Hautes ÉnergiesFR23 papers
- Universität HamburgDE23 papers
- University of ChicagoUS23 papers
- Charles UniversityCZ21 papers
- The University of AdelaideAU21 papers
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
Michael Rathjen
In recent years the question of whether adding the limited principle of omniscience, LPO, to constructive Zermelo-Fraenkel set theory, CZF, increases its strength has arisen severa…
math.LO2013
The axiomatic power of Kolmogorov complexity
Laurent Bienvenu, Andrei Romashchenko, Alexander Shen +2
The famous Gödel incompleteness theorem states that for every consistent sufficiently rich formal theory T there exist true statements that are unprovable in T. Such statements wo…