CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL

DOI10.1017/jsl.2021.21OpenAlexW3131649305MaRDI QIDQ5082056

Philip D. Welch

Publication date: 15 June 2022

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

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

zbMATH Keywords

inner modelPrikry forcingclosed and unbounded class

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Logic with extra quantifiers and operators (03C80)

Related Items

STRUCTURAL PROPERTIES OF THE STABLE CORE ⋮ When cardinals determine the power set: inner models and Härtig quantifier logic

Cites Work

• Unnamed Item
• Unnamed Item
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• The universe constructed from a sequence of ordinals
• Determinacy in the difference hierarchy of co-analytic sets
• A characterization of generalized Příkrý sequences
• Prikry-Type Forcings
• Determinacy in the Mitchell models
• The consistency strength of the free-subset property for ω_ω
• The Härtig quantifier: a survey
• How large is the first strongly compact cardinal? or a study on identity crises
• Inner models from extended logics: Part 1
• Inner models and large cardinals

This page was built for publication: CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL