Corrected iteration

DOI10.1007/S40574-022-00338-4MaRDI QIDQ6134443zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 22 August 2023

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

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

zbMATH Keywords

independencecardinal invariantsset theoryiterated forcing

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17) Large cardinals (03E55)

Abstract: For $lambda$ inaccessible, we may consider $(<lambda)$-support iteration of some specific $(<lambda)$-complete $lambd{a}^{+}$-c.c. forcing notion. But this fails a "preservation by restricting to a sub-sequence of the forcing, we "correct" the iteration to regain it. This is used in another paper in the consistency of $cov(meagre)<mathfrak{d}_{l}ambda$.

Cites work

• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1548941 (Why is no real title available?)
• scientific article; zbMATH DE number 218626 (Why is no real title available?)
• A strong polarized relation
• Corrected iteration
• Creature forcing and large continuum: the joy of halving
• On \(\mathrm{CON}(\mathfrak{d}_\lambda > \mathrm{cov}_\lambda(\mathrm{meagre}))\)
• Properness Without Elementaricity
• Souslin forcing
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing

Cited in

(3)

• The higher Cichoń diagram
• The corrected VIF (CVIF)
• Corrected iteration

This page was built for publication: Corrected iteration

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