A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES

DOI10.1017/jsl.2022.85arXiv1908.10510OpenAlexW4311358044MaRDI QIDQ6103450

Ruiyuan Chen

Publication date: 5 June 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

categorical logicstandard Borel spaceextensive category\(\kappa\)-complete Boolean algebra

Mathematics Subject Classification ID

Descriptive set theory (03E15) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Generalizations of Boolean algebras (06E75)

Cites Work

• Lex colimits
• Two-dimensional monad theory
• Introduction to extensive and distributive categories
• Amalgamation and epimorphisms in m complete Boolean algebras
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Categorical logic and type theory
• Quasi-Polish spaces
• \(\kappa\)-frames
• First Steps in Descriptive Theory of Locales
• Towards a descriptive theory of cb₀-spaces
• A characterisation of the category of compact Hausdorff spaces
• Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES