Infinitary combinatorics and modal logic

DOI10.2307/2274663zbMath0699.03008OpenAlexW2052836860MaRDI 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 cardinalJensen's principlemodal propositional logic Gclub filtersend-segment filtersineffable filtersinterpretations using filters on ordinal numbers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Inner models, including constructibility, ordinal definability, and core models (03E45) Other combinatorial set theory (03E05) Relative consistency and interpretations (03F25)

Related Items (19)

Alternative Semantics for Visser’s Propositional Logics ⋮ Topological structure of diagonalizable algebras and corresponding logical properties of theories ⋮ Intuitionistic logic and modality via topology ⋮ Tree-like constructions in topology and modal logic ⋮ 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 ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ The polytopologies of transfinite provability logic ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Derived topologies on ordinals and stationary reflection ⋮ Scattered and hereditarily irresolvable spaces in modal logic ⋮ The modal logic of forcing ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Topological Interpretations of Provability Logic ⋮ Ultrafilters in reverse mathematics ⋮ Some results on modal axiomatization and definability for topological spaces

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

This page was built for publication: Infinitary combinatorics and modal logic