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 ScientifiqueFR45 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
15 papers · 1 filter
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…
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…
On compactifications and the topological dynamics of definable groups
Jakub Gismatullin, Davide Penazzi, Anand Pillay
We discuss definable compactifications and topological dynamics. For G a group definable in some structure M, we define notions of "definable" compactification of G and "definable"…
One-basedness and reductions of elliptic curves over real closed fields
Davide Penazzi
Building on the positive solution of Pillay's conjecture we present a notion of "intrinsic" reduction for elliptic curves over a real closed field K. We compare such notion with th…
On the canonical base property
Ehud Hrushovski, Daniel Palacin, Anand Pillay
We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in…
Borel equivalence relations and Lascar strong types
Krzysztof Krupinski, Anand Pillay, Slawomir Solecki
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First…