Sheva-Sheva-Sheva: Large Creatures
classification
🧮 math.LO
keywords
mathanowskicreaturesforcingshelahaspectcardinalscollapsing
read the original 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.)
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.