\(\Sigma_3^1\) absoluteness and the second uniform indiscernible

DOI10.1007/BF02897063zbMath0915.03042MaRDI QIDQ1279969

K. Appert

Publication date: 27 June 1999

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

strong cardinalscore modelinner modelsuniversal iterations

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (12)

CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL ⋮ Countable ordinals in indiscernibility spectra ⋮ Forcing absoluteness and regularity properties ⋮ Determinacy in strong cardinal models ⋮ Thin equivalence relations and inner models ⋮ A criterion for coarse iterability ⋮ THE SOLIDITY AND NONSOLIDITY OF INITIAL SEGMENTS OF THE CORE MODEL ⋮ Strong cardinals in the core model ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ Unraveling \(\boldsymbol\Pi_1^1\) sets ⋮ The core model for almost linear iterations ⋮ Coding into 𝐾 by reasonable forcing

Cites Work

• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• Two Consequences of Determinacy Consistent with Choice
• Long projective wellorderings
• Patterns of Indiscernibles
• Fine structure for tame inner models
• Strong cardinals in the core model
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Sigma_3^1\) absoluteness and the second uniform indiscernible