COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES

DOI10.1017/JSL.2023.8arXiv2110.02786OpenAlexW3201714693MaRDI QIDQ6123584

Mohammad Golshani, Reihane Zoghifard

Publication date: 5 April 2024

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

Full work available at URL: https://arxiv.org/abs/2110.02786

zbMATH Keywords

measurable cardinalprovability logicnormal measure

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• Unnamed Item
• The structure of the Mitchell order. I
• Topological completeness of the provability logic GLP
• The structure of the Mitchell order. II.
• Some exact equiconsistency results in set theory
• Prikry-Type Forcings
• Infinitary combinatorics and modal logic
• Sets constructible from sequences of ultrafilters
• Changing cofinality of cardinals
• Derived topologies on ordinals and stationary reflection
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• Topological Interpretations of Provability Logic

This page was built for publication: COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES