COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω

DOI10.1017/jsl.2019.88OpenAlexW3034464023MaRDI QIDQ5082052

Tomáš Lávička, Jonathan L. Verner

Publication date: 15 June 2022

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

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

zbMATH Keywords

modal logicČech-Stone compactification of natural numberscompletely separable mad families

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cardinal characteristics of the continuum (03E17) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80)

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics of Stone spaces
• An anti-Hausdorff Fréchet space in which convergent sequences have unique limits
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• The modal logic of \({\beta(\mathbb{N})}\)
• Diodorean modality in Minkowski spacetime
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Classifying almost-disjoint families with applications to \(\beta N-N\)
• The algebra of topology
• A problem of set-theoretic topology
• MAD Saturated Families and SANE Player
• Handbook of Spatial Logics
• Almost Disjoint Refinement of Families of Subsets of N
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
• Reasoning About Space: The Modal Way
• Der Aussagenkalkül und die Topologie