Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
From MaRDI portal
Publication:2700829
DOI10.1007/s00153-022-00845-3OpenAlexW3080450867WikidataQ114231460 ScholiaQ114231460MaRDI QIDQ2700829
Publication date: 27 April 2023
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1903.05945
Consistency and independence results (03E35) Large cardinals (03E55) Axiom of choice and related propositions (03E25)
Related Items (2)
Sequential and distributive forcings without choice ⋮ Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Some results on consecutive large cardinals
- Homogeneous iteration and measure one covering relative to HOD
- Making all cardinals almost Ramsey
- Set theory. An introduction to independence proofs
- Intermediate submodels and generic extensions in set theory
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- On a problem of Foreman and Magidor
- Successors of singular cardinals and measurability
- Measurable cardinals and the continuum hypothesis
- Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\)
- A model with a measurable which does not carry a normal measure
- On some questions concerning strong compactness
- Consecutive singular cardinals and the continuum function
- Strongly compact cardinals and the continuum function
- On supercompactness of \(\omega_1\)
- Canonical structure in the universe of set theory. II.
- The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice
- \(\omega_1\) can be measurable
- Some Remarks on Normal Measures and Measurable Cardinals
- All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters
- The first measurable cardinal can be the first uncountable regular cardinal at any successor height
- On a Problem of Silver
- Iterated Forcing and Elementary Embeddings
- Prikry-Type Forcings
- SUITABLE EXTENDER MODELS I
- The number of normal measures
- Inaccessible cardinals without the axiom of choice
- On generic extensions without the axiom of choice
- Relative consistency results via strong compactness
- Sets constructible from sequences of ultrafilters
- Successive large cardinals
- ITERATING SYMMETRIC EXTENSIONS
- Set Theory
- On ground model definability
- Spectra of uniformity
- Preserving Dependent Choice
- Embedding orders into the cardinals with \mathsf DCκ
- A Relativization of Axioms of Strong Infinity to ^|^omega;1
- The axiom of choice
- Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on \(P_x(\lambda)\)
This page was built for publication: Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
