Fitxers

844886.pdf (266.41 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2024-12-01

Llicència de publicació

cc by (c) Bezhanishvili, Guram et al., 2024
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

Autors

Director/Tutor

Contribució addicional

ISSN de la revista

Títol del volum

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.

Recurs relacionat

https://doi.org/10.1017/jsl.2024.1

Matèries

Semàntica (Filosofia), Temps (Lògica), Modalitat (Lògica), Espai (Filosofia)

Matèries (anglès)

Semantics (Philosophy), Tense (Logic), Modality (Logic), Space (Philosophy)

Citació

Col·leccions

Articles publicats en revistes (Filosofia)

Citació

BEZHANISHVILI, Guram and FERNÁNDEZ-DUQUE, David. The Baire closure and its logic. Journal of Symbolic Logic. 2024. ISSN 0022-4812. [consulted: 10 of November of 2026]. Available at: https://hdl.handle.net/2445/222594

Exportar metadades

JSON - METS

Compartir registre