Miniatura

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

ISSN de la revista

Títol del volum

Recurs relacionat

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

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

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, FERNÁNDEZ DUQUE, David. The Baire closure and its logic. _Journal of Symbolic Logic_. 2024. [consulta: 25 de febrer de 2026]. ISSN: 0022-4812. [Disponible a: https://hdl.handle.net/2445/222594]

Exportar metadades

JSON - METS

Compartir registre