Work

Sheva-Sheva-Sheva: Large Creatures

Year: 2002
Type: preprint
Abstract: We develop the theory of the forcing with trees and creatures for an inaccessible lambda continuing Rosł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łanowski and Shelah math.LO/9906024.)
Language: English
Open Access status: green
OpenAlex ID: W2951195075
Cites: 8
Cited by:
Related to: 4