Infinitary combinatorics and modal logic

DOI10.2307/2274663zbMath0699.03008MaRDI QIDQ3476788

Andreas Blass

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

zbMATH Keywords

Mahlo cardinal; Jensen's principle; modal propositional logic G; club filters; end-segment filters; ineffable filters; interpretations using filters on ordinal numbers

Mathematics Subject Classification ID

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, 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, 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