DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS

DOI10.1017/jsl.2016.68zbMath1419.03047arXiv1204.1006OpenAlexW3104342774MaRDI QIDQ4977212

Andrés Eduardo Caicedo, Martin Zeman

Publication date: 3 August 2017

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

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

zbMATH Keywords

universalitycore modelWoodin cardinal\(\sum^1_3\)-correctness

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Covering theorems for the core model, and an application to stationary set reflection
• The bounded proper forcing axiom and well orderings of the reals
• Forcing axioms and stationary sets
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• A new condensation principle
• Large cardinals and definable counterexamples to the continuum hypothesis
• Weak covering without countable closure
• Forcing with sequences of models of two types
• BPFA and Inner Models(<Special Section>Mathematical Logic and Its Applications)
• KWithout the Measurable
• Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁
• Σ* Fine Structure
• An Outline of Inner Model Theory
• On forcing without the continuum hypothesis
• The maximality of the core model
• 0^# and inner models
• The Size of the Ordinal u ₂
• A universal extender model without large cardinals in V
• PFA implies AD^L(ℝ)
• Inner models and large cardinals

This page was built for publication: DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS