Weak covering without countable closure
From MaRDI portal
Die Verfasser gehen von der Voraussetzung aus, daß es in unserem Universum kein inneres Modell mit einer Woodin Kardinalzahl gibt. Das Hauptresultat ist folgendes. Sei \(K\) das Steel-Kernmodell (core model) in \(V_\Omega\), wobei \(\Omega\) eine meßbare Kardinalzahl ist. Dann gilt für jedes \(\lambda \geq \omega_2\) die Ungleichung \(\text{cf} ((\lambda^+)^K) \geq \text{card}(\lambda)\).
Cited in
(30)- Weak covering relations
- The core model for almost linear iterations
- Coherent sequences and threads
- Square in core models
- K without the measurable
- Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
- A simple maximality principle
- The self-iterability of L[E]
- The maximality of the core model
- Strong Cardinals and Sets of Reals in Lω1(ℝ)
- The Jensen Covering Property
- The consistency strength of successive cardinals with the tree property
- Collapsing successors of singulars
- Weak countable compactness implies quasi-weak drop property
- A finite family weak square principle
- Downward transference of mice and universality of local core models
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
- Ideal projections and forcing projections
- PFA implies ADL(ℝ)
- CHARACTERIZATION OF □κ IN CORE MODELS
- DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
- Indiscernible sequences for extenders, and the singular cardinal hypothesis
- Strong cardinals in the core model
- When cardinals determine the power set: inner models and Härtig quantifier logic
- Covering at limit cardinals of K
- The covering lemma up to a Woodin cardinal
- Ladders and squares
- On the consistency strength of two choiceless cardinal patterns
- Origin and development of the theory of coremodels. II
- Projective well-orderings of the reals
This page was built for publication: Weak covering without countable closure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1910658)
