Borel functors, interpretations, and strong conceptual completeness for L_ _1

DOI10.1090/TRAN/7950MaRDI QIDQ5243125zbMATH OpenOpenAlexFDO

Authors Ruiyuan Chen

Publication date 14 November 2019

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.02246

zbMATH Keywords

Borel functorscountable languagecountable theoryinfinitary logicmodelpretoposquasi-Polish spaceStone dualitystrong conceptual completenesstopological groupoid

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Other infinitary logic (03C75) Descriptive set theory (03E15) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Abstract: We prove a strong conceptual completeness theorem (in the sense of Makkai) for the infinitary logic $mathcal{L}_{omeg{a}_{1}omega}$: every countable $mathcal{L}_{omeg{a}_{1}omega}$-theory can be canonically recovered from its standard Borel groupoid of countable models, up to a suitable syntactical notion of equivalence. This implies that given two theories $(mathcalL,mathcalT)$ and $(mathcal{L}^{\prime },mathcal{T}^{\prime })$ (in possibly different languages $mathcalL,mathcal{L}^{\prime }$), every Borel functor $mathsfMod(mathcal{L}^{\prime },mathcal{T}^{\prime })omathsfMod(mathcalL,mathcalT)$ between the respective groupoids of countable models is Borel naturally isomorphic to the functor induced by some $mathcalL{\text{'}}_{omeg{a}_{1}omega}$-interpretation of $mathcalT$ in $mathcal{T}^{\prime }$. This generalizes a recent result of Harrison-Trainor, Miller, and Montalb'an in the case where $mathcalT,mathcal{T}^{\prime }$ each have a single countable model up to isomorphism.

Recommendations

• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• Borel equivalence relations and classifications of countable models
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem
• Borel structures and Borel theories
• scientific article; zbMATH DE number 2204765

Cites work

• A theorem on Barr-exact categories, with an infinitary generalization
• An extension of the Galois theory of Grothendieck
• An interpolation theorem for denumerably long formulas
• Beck's theorem for pseudo-monads
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• First-order logical duality
• Generic representations of abelian groups and extreme amenability
• How algebraic is algebra?
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19040 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3489364 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Invariant descriptive set theory
• Invariant sets in topology and logic
• Polish groupoids and functorial complexity
• Properties of dense and relative adjoint functors
• Quasi-Polish spaces
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic

Cited in

(6)

• Strong conceptual completeness for first-order logic
• Some notes on spaces of ideals and computable topology
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES
• Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
• Étale structures and the Joyal-Tierney representation theorem in countable model theory

This page was built for publication: Borel functors, interpretations, and strong conceptual completeness for \(\mathcal{L}_{\omega _1\omega }\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5243125)