When cardinals determine the power set: inner models and Härtig quantifier logic

DOI10.1002/malq.202200030arXiv2110.13294MaRDI QIDQ6140754

Philip D. Welch, Jouko Väänänen

Publication date: 2 January 2024

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Covering theorems for the core model, and an application to stationary set reflection
• Essays on mathematical and philosophical logic. Proceedings of the fourth Scandinavian logic symposium and of the first Soviet-Finnish logic conference, Jyväskylä, Finland, June 29 - July 6, 1976
• Weak covering without countable closure
• KWithout the Measurable
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
• Applications of the Covering Lemma for Sequences of Measures
• ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC
• Abstract logic and set theory. II. Large cardinals
• Generalized Quantifiers and Compact Logic
• δ-Logics and generalized quantifiers
• CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL
• A Nonconstructible Δ 1 3 Set of Integers

This page was built for publication: When cardinals determine the power set: inner models and Härtig quantifier logic