Carregant...
Fitxers
Tipus de document
ArticleVersió
Versió publicadaData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/222594
The Baire closure and its logic
Títol de la revista
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote Baire(X ). We identify the modal logic of such algebras to be the well-known system S5, and prove soundness and strong completeness for the cases where
X is crowded and either completely metrizable and continuum-sized or locally compact Hausdorff. We also show that every extension of S5 is the modal logic of a subalgebra of Baire(X ), and that soundness and strong completeness also holds in the language with the universal modality.
Matèries (anglès)
Citació
Col·leccions
Citació
BEZHANISHVILI, Guram, FERNÁNDEZ DUQUE, David. The Baire closure and its logic. _Journal of Symbolic Logic_. 2024. [consulta: 2 de gener de 2026]. ISSN: 0022-4812. [Disponible a: https://hdl.handle.net/2445/222594]