Abstract
We develop the theory of the forcing with trees and creatures for an inaccessible λ continuing Rosłanowski and Shelah [15], [17]. 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łanowski and Shelah [16] and Shelah [20], [21].)
Similar content being viewed by others
References
U. Abraham, Lectures on proper forcing, in Handbook of Set Theory, (M. Foreman A. Kanamori and M. Magidor, eds.).
B. Balcar and P. Simon, Disjoint refinement, in Handbook of Boolean algebras, volume 2, North-Holland, Amsterdam, 1989, pp. 333–388.
E. T. Brown, Tree Forcing at Uncountable Cardinals, Talk at Boise Extravaganza In Set Theory, March 29–31, 2002.
E. T. Brown, Tree Forcing at Uncountable Cardinals, Preprint.
J. Cummings and S. Shelah, Cardinal invariants above the continuum, Annals of Pure and Applied Logic 75 (1995), 251–268.
T. Eisworth, On iterated forcing for successors of regular cardinals, Fundamenta Mathematicae 179 (2003), 249–266.
M. Foreman, Games played on Boolean algebras, Journal of Symbolic Logic 48 (1983), 714–723.
T. Jech, Set Theory, Academic Press, New York, 1978.
A. Kanamori, Perfect-set forcing for uncountable cardinals, Annals of Mathematical Logic 19 (1980), 97–114.
A. Landver, Singular Baire Numbers and Related Topics, PhD thesis, University of Wisconsin, Madison, 1990.
P. Matet and J. Pawlikowski, Q-pointness, P-pointness and feebleness of ideals, Journal of Symbolic Logic 68 (2003), 235–261.
P. Matet, A. Rosłanowski and S. Shelah, Cofinality of the nonstationary ideal, Transactions of the American Mathematical Society 357 (2005), 4813–4837.
L. Newelski and A. Rosłanowski, The ideal determined by the unsymmetric game, Proceedings of the American Mathematical Society 117 (1993), 823–831.
A. Rosłanowski and S. Shelah, Reasonably complete forcing notions, in Set Theory: Recent Trends and Applications (A. Andretta ed.), Quaderni di Matematica, vol. 17, 2007, pp. 195–239.
A. Rosłanowski and S. Shelah, Norms on possibilities I: forcing with trees and creatures, Memoirs of the American Mathematical Society 141 (1999), xii + 167.
A. Rosłanowski and S. Shelah, Iteration of λ-complete forcing notions not collapsing λ +, International Journal of Mathematics and Mathematical Sciences 28 (2001), 63–82.
A. Rosłanowski and S. Shelah, Sweet & Sour and other flavours of ccc forcing notions, Archive for Mathematical Logic 43 (2004), 583–663.
S. Shelah, Proper forcing, Lecture Notes in Mathematics, volume 940, Springer-Verlag, Berlin-New York, 1982, xxix+496 pp.
S. Shelah, Proper and improper forcing, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998.
S. Shelah, Not collapsing cardinals ≤ κ in (< κ)-support iterations, Israel Journal of Mathematics 136 (2003), 29–115.
S. Shelah, Successor of singulars: combinatorics and not collapsing cardinals ≤ κ in (< κ)-support iterations, Israel Journal of Mathematics 134 (2003), 127–155.
S. Shelah and Z. Spasojevic, Cardinal invariants \(\mathfrak{b}_\kappa \) and \(\mathfrak{t}_\kappa \), Publications de L’Institute Mathématique — Beograd, Nouvelle Série 72 (2002), 1–9.
J. Zapletal, Splitting number at uncountable cardinals, Journal of Symbolic Logic 62 (1997), 35–42.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rosłanowski, A., Shelah, S. Sheva-sheva-sheva: Large creatures. Isr. J. Math. 159, 109–174 (2007). https://doi.org/10.1007/s11856-007-0040-8
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/s11856-007-0040-8