Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}

DOI10.1090/TRAN/7950zbMath1457.03062arXiv1710.02246OpenAlexW2965759734MaRDI QIDQ5243125

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

Stone dualityinfinitary logicmodeltopological groupoidstrong conceptual completenesscountable theorypretoposcountable languagequasi-Polish spaceBorel functors

Mathematics Subject Classification ID

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

Related Items (3)

A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions ⋮ Some notes on spaces of ideals and computable topology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generic representations of abelian groups and extreme amenability
• A theorem on Barr-exact categories, with an infinitary generalization
• Stone duality for first order logic
• Strong conceptual completeness for first-order logic
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Beck's theorem for pseudo-monads
• First-order logical duality
• Quasi-Polish spaces
• Properties of dense and relative adjoint functors
• An extension of the Galois theory of Grothendieck
• Invariant sets in topology and logic
• BOREL FUNCTORS AND INFINITARY INTERPRETATIONS
• Polish groupoids and functorial complexity
• An interpolation theorem for denumerably long formulas

This page was built for publication: Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}