Infinitary combinatorics and modal logic
From MaRDI portal
Publication:3476788
DOI10.2307/2274663zbMath0699.03008MaRDI QIDQ3476788
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274663
Mahlo cardinal; Jensen's principle; modal propositional logic G; club filters; end-segment filters; ineffable filters; interpretations using filters on ordinal numbers
03B45: Modal logic (including the logic of norms)
03E45: Inner models, including constructibility, ordinal definability, and core models
03E05: Other combinatorial set theory
03F25: Relative consistency and interpretations
Related Items
CAN MODALITIES SAVE NAIVE SET THEORY?, Derived topologies on ordinals and stationary reflection, STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES, Topological Interpretations of Provability Logic, The modal logic of forcing, A topological completeness theorem for transfinite provability logic, COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES, TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES, Foreword to the special issue dedicated to the memory of Leo Esakia, Intuitionistic logic and modality via topology, The d-logic of the rational numbers: a fruitful construction, Some results on modal axiomatization and definability for topological spaces, Scattered and hereditarily irresolvable spaces in modal logic, Topological structure of diagonalizable algebras and corresponding logical properties of theories, The polytopologies of transfinite provability logic, Tree-like constructions in topology and modal logic, Ultrafilters in reverse mathematics, NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC, Alternative Semantics for Visser’s Propositional Logics
Cites Work
- Some exact equiconsistency results in set theory
- Self-reference and modal logic
- Provability interpretations of modal logic
- A completeness theorem in modal logic
- Patching ideal families and enforcing reflection
- Strong axioms of infinity and elementary embeddings
- The fine structure of the constructible hierarchy