Star sorts, Lelek fans, and the reconstruction of non-$\aleph_0$-categorical theories in continuous logic - Algèbre, géométrie, logique
Article Dans Une Revue Model Theory Année : 2023

Star sorts, Lelek fans, and the reconstruction of non-$\aleph_0$-categorical theories in continuous logic

Résumé

We prove a reconstruction theorem valid for arbitrary theories in continuous (or classical) logic in a countable language, that is to say that we provide a complete bi-interpretation invariant for such theories, taking the form of an open Polish topological groupoid. More explicitly, for every such theory $T$ we construct a groupoid $\mathbf{G}^*(T)$ that only depends on the bi-interpretation class of $T$, and conversely, we reconstruct from $\mathbf{G}^*(T)$ a theory that is bi-interpretable with $T$. The basis of $\mathbf{G}^*(T)$ (namely, the set of objects, when viewed as a category) is always homeomorphic to the Lelek fan. We break the construction of the invariant into two steps. In the second step we construct a groupoid from any \emph{reconstruction sort}, while in the first step such a sort is constructed. This allows us to place our result in a common framework with previously established ones, which only differ by their different choice of a reconstruction sort.
Fichier principal
Vignette du fichier
LelekGroupoid.pdf (342.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03596567 , version 1 (03-03-2022)
hal-03596567 , version 2 (25-03-2022)
hal-03596567 , version 3 (06-07-2022)

Identifiants

Citer

Itaï Ben Yaacov. Star sorts, Lelek fans, and the reconstruction of non-$\aleph_0$-categorical theories in continuous logic. Model Theory, 2023, 2 (2), pp.285-324. ⟨10.2140/mt.2023.2.285⟩. ⟨hal-03596567v3⟩
116 Consultations
39 Téléchargements

Altmetric

Partager

More