Iterated forcing and normal ideals onω 1

Saharon Shelah

doi:10.1007/bf02780398

Iterated forcing and normal ideals onω 1

Israel Journal of Mathematics ◽

10.1007/bf02780398 ◽

1987 ◽

Vol 60 (3) ◽

pp. 345-380 ◽

Cited By ~ 14

Author(s):

Saharon Shelah

Keyword(s):

Iterated Forcing ◽

Normal Ideals

Download Full-text

p-Points in Iterated Forcing Extensions

Proceedings of the American Mathematical Society ◽

10.2307/2042618 ◽

1978 ◽

Vol 69 (2) ◽

pp. 314 ◽

Cited By ~ 1

Author(s):

Judy Roitman

Keyword(s):

Iterated Forcing

Download Full-text

Iterated forcing with RCS (revised countable support)

Lecture Notes in Mathematics - Proper Forcing ◽

10.1007/bfb0096586 ◽

1982 ◽

pp. 304-313

Keyword(s):

Iterated Forcing ◽

Countable Support

Download Full-text

Forcing with Non-wellfounded Models

The Australasian Journal of Logic ◽

10.26686/ajl.v5i0.1784 ◽

2007 ◽

Vol 5 ◽

Author(s):

Paul Corazza

Keyword(s):

Set Theory ◽

Ground Model ◽

Iterated Forcing ◽

Consistency Results

We develop the machinery for performing forcing over an arbitrary (possibly non-wellfounded) model of set theory. For consistency results, this machinery is unnecessary since such results can always be legitimately obtained by assuming that the ground model is (countable) transitive. However, for establishing properties of a given (possibly non-wellfounded) model, the fully developed machinery of forcing as a means to produce new related models can be useful. We develop forcing through iterated forcing, paralleling the standard steps of presentation found in [19] and [14].

Download Full-text

Iterated Forcing with Uncountable Support

Perspectives in Mathematical Logic - Proper and Improper Forcing ◽

10.1007/978-3-662-12831-2_14 ◽

1998 ◽

pp. 679-731

Author(s):

Saharon Shelah

Keyword(s):

Iterated Forcing

Download Full-text