- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Characterizing Existence of a Measurable Cardinal Via Modal Logic
Journal of Symbolic Logic 86 (1):162-177 (2021)
Abstract
We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set.Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
Characterizing Existence of a Measurable Cardinal Via Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Journal of Symbolic Logic 86 (1):162-177.
The Mckinsey–Tarski Theorem for Locally Compact Ordered Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Bulletin of Symbolic Logic 27 (2):187-211.
Completely separable mad families and the modal logic of βω.Tomáš Lávička & Jonathan L. Verner - 2022 - Journal of Symbolic Logic 87 (2):498-507.
Completely separable mad families and the modal logic of.Tomáš Lávička & Jonathan L. Verner - 2020 - Journal of Symbolic Logic:1-10.
The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili - 2010 - Review of Symbolic Logic 3 (1):26-40.
Completeness of the Gödel–Löb Provability Logic for the Filter Sequence of Normal Measures.Mohammad Golshani & Reihane Zoghifard - 2024 - Journal of Symbolic Logic 89 (1):163-174.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
A consistency result on cardinal sequences of scattered Boolean spaces.Juan C. Martínez - 2005 - Mathematical Logic Quarterly 51 (6):586-590.
A model with a measurable which does not carry a normal measure.Eilon Bilinsky & Moti Gitik - 2012 - Archive for Mathematical Logic 51 (7-8):863-876.
Analytics
Added to PP
2021-07-11
Downloads
31 (#728,019)
6 months
5 (#1,039,842)
2021-07-11
Downloads
31 (#728,019)
6 months
5 (#1,039,842)
Historical graph of downloads
Author's Profile
Citations of this work
The Mckinsey–Tarski Theorem for Locally Compact Ordered Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2021 - Bulletin of Symbolic Logic 27 (2):187-211.
References found in this work
Euclidean hierarchy in modal logic.Johan van Benthem, Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75 (3):327-344.
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2