Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse

Cites Work

The axiom of choice
Set theory. An introduction to independence proofs
Intermediate submodels and generic extensions in set theory
Set Theory
Title not available (Why is that?)
Embedding orders into the cardinals with \(\mathsf {DC}_{\kappa} \)
Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
Iterated forcing and elementary embeddings
The number of normal measures
Prikry-type forcings
Sets constructible from sequences of ultrafilters
Title not available (Why is that?)
Homogeneous iteration and measure one covering relative to HOD
Measurable cardinals and the continuum hypothesis
Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
Suitable extender models. I
Canonical structure in the universe of set theory. II.
Some results on consecutive large cardinals
Successive large cardinals
Some Remarks on Normal Measures and Measurable Cardinals
Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\)
\(\omega_1\) can be measurable
Strongly compact cardinals and the continuum function
The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice
Making all cardinals almost Ramsey
Successors of singular cardinals and measurability
Inaccessible cardinals without the axiom of choice
On generic extensions without the axiom of choice
A model with a measurable which does not carry a normal measure
On a problem of Foreman and Magidor
Relative consistency results via strong compactness
A Relativization of Axioms of Strong Infinity to ^|^omega;1
On a Problem of Silver
On some questions concerning strong compactness
Consecutive singular cardinals and the continuum function
The first measurable cardinal can be the first uncountable regular cardinal at any successor height
On ground model definability
On supercompactness of \(\omega_1\)
Iterating symmetric extensions
Preserving dependent choice
All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
Symmetric models, singular cardinal patterns, and indiscernibles
Spectra of uniformity.

Cited In (3)

Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse
Sequential and distributive forcings without choice
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse

This page was built for publication: Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2700829)