CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC

DOI10.1017/JSL.2021.5MaRDI QIDQ5000268OpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Publication date 12 July 2021

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

Full work available at URL https://doi.org/10.1017/jsl.2021.5

zbMATH Keywords

modal logictopological semanticsnormal spacemeasurable cardinalscattered spaceextremally disconnected space

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12) Large cardinals (03E55) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Recommendations

• scientific article; zbMATH DE number 37890
• Measurable cardinals and the cardinality of Lindelöf spaces
• On the class of measurable cardinals without the axiom of choice
• On measure and category
• Modal logics that need very large frames

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3467030 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• An ascending chain of S4 logics
• Euclidean hierarchy in modal logic
• Krull dimension in modal logic
• On modal logics arising from scattered locally compact Hausdorff spaces
• STS: a structural theory of sets
• Set theory. An introduction to independence proofs. 2nd print
• TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
• The modal logic of \({\beta(\mathbb{N})}\)
• The modal logic of forcing

Cited in

(1)

• The McKinsey-Tarski theorem for locally compact ordered spaces

This page was built for publication: CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5000268)