Corrected iteration

DOI10.1007/S40574-022-00338-4arXiv2108.03672OpenAlexW4311374695MaRDI QIDQ6134443FDOQ6134443

Authors: S. Shelah 

Publication date: 22 August 2023

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

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$.

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)

Cites Work

• Title not available (Why is that?)
• Properness Without Elementaricity
• Creature forcing and large continuum: the joy of halving
• Two cardinal invariants of the continuum \(({\mathfrak d} <{\mathfrak a})\) and FS linearly ordered iterated forcing
• Souslin forcing
• Title not available (Why is that?)
• Title not available (Why is that?)
• A strong polarized relation
• Corrected iteration
• On CON(𝔡_{𝜆}> cov_{𝜆}(meagre))

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)