Sheva-sheva-sheva: large creatures

DOI10.1007/S11856-007-0040-8MaRDI QIDQ995389zbMATH OpenOpenAlexFDO

Authors Andrzej Rosłanowski, S. Shelah

Publication date 3 September 2007

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

creaturesforcingpropernessstrongly inaccessible cardinaltrees

Mathematics Subject Classification ID

Cardinal characteristics of the continuum (03E17) Other aspects of forcing and Boolean-valued models (03E40) Large cardinals (03E55)

Abstract: We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Ros{l}anowski and Shelah math.LO/9807172, math.LO/9909115. To make a real use of these forcing notions (that is to iterate them without collapsing cardinals) we need suitable iteration theorems, and those are proved as well. (In this aspect we continue Ros{l}anowski and Shelah math.LO/9906024.)

Review text

A natural set-theoretical question is ``can we do for some/all uncountable cardinals what we can do for~\(\aleph_0\)? This begs the question what we actually can do for~\(\aleph_0\). The authors choose to concentrate on analogues of cardinal characteristics of the continuum and offer tools much like those developed by them in [Norms on possibilities. I: Forcing with trees and creatures. Mem. Am. Math. Soc. 671 (1999; Zbl 0940.03059)]. These occupy the second part of the paper; the first part defines and studies a version of properness for uncountable~\(\lambda\) together with Sacks-like and \({}^\lambda\lambda\)-bounding properties as well as their preservation under iterations with supports of size at most~\(\lambda\).

Recommendations

• Decisive creatures and large continuum
• Measured creatures
• Torsors, herds and flocks
• A colossal fish
• Giant magnons
• Giant magnons
• scientific article; zbMATH DE number 3995665

Cites work

• Cardinal invariants above the continuum
• Cofinality of the nonstationary ideal
• Games played on Boolean algebras
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Iteration of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="$\lambda$" id="E1"><mml:mi>λ</mml:mi></mml:math>-complete forcing notions not collapsing<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="$\lambda^+$" id="E2"><
• Norms on possibilities. I. Forcing with trees and creatures
• Not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• On iterated forcing for successors of regular cardinals
• Perfect-set forcing for uncountable cardinals
• Proper forcing
• Q-pointness, P-pointness and feebleness of ideals
• Reasonably complete forcing notions
• Splitting number at uncountable cardinals
• Successor of singulars: Combinatorics and not collapsing cardinals \(\leq\kappa\) in \((<\kappa)\)-support iterations
• Sweet \& sour and other flavours of ccc forcing notions
• The Ideal Determined by the Unsymmetric Game

Cited in

(7)

• Non-meagre subgroups of reals disjoint with meagre sets
• Creatures on ω₁ and weak diamonds
• More about \(\lambda \)-support iterations of \((<\lambda)\)-complete forcing notions
• HIGHER MILLER FORCING MAY COLLAPSE CARDINALS
• The Hurewicz dichotomy for generalized Baire spaces
• The last forcing standing with diamonds
• A parallel to the null ideal for inaccessible \(\lambda\). I

This page was built for publication: Sheva-sheva-sheva: large creatures

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