Abstract corrected iterations

DOI10.1007/S40574-024-00446-3MaRDI QIDQ7257423zbMATH OpenFDO

Authors Haim Horowitz, S. Shelah

Publication date 4 June 2026

Published in Bollettino dell'Unione Matematica Italiana (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S40574-024-00446-3

zbMATH Keywords

iterated forcingdefinable forcingpartial memorySuslin forcingcorrected iterations

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)

Cites work

• Decisive creatures and large continuum
• Forcing axioms for λ‐complete μ+\mu ^+‐c.c.
• Norms on Possibilities II: More CCC Ideals on 2 ω
• Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• On \(\mathrm{CON}(\mathfrak{d}_\lambda > \mathrm{cov}_\lambda(\mathrm{meagre}))\)
• Properness Without Elementaricity
• Souslin forcing

This page was built for publication: Abstract corrected iterations

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