Iterated forcing

1982 ◽  
pp. 44-48
Keyword(s):  
Iterated Forcing

p-Points in Iterated Forcing Extensions

1978 ◽  
Vol 69 (2) ◽  
pp. 314 ◽  
Author(s):  
Judy Roitman
Keyword(s):  
Iterated Forcing

scholarly journals Forcing with Non-wellfounded Models

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].

scholarly journals Some notes on iterated forcing with $2^{\aleph_0}>\aleph_2$.

1987 ◽  
Vol 29 (1) ◽  
pp. 1-17 ◽  
Author(s):  
Saharon Shelah
Keyword(s):  
Iterated Forcing

Iterated forcing and the Continuum Hypothesis

2012 ◽  
pp. 207-244 ◽  
Author(s):  
Todd Eisworth ◽  
Justin Tatch Moore ◽  
David Milovich
Keyword(s):  
Continuum Hypothesis ◽  
Iterated Forcing ◽  
The Continuum

Iterated forcing and normal ideals onω 1

1987 ◽  
Vol 60 (3) ◽  
pp. 345-380 ◽  
Author(s):  
Saharon Shelah
Keyword(s):  
Iterated Forcing ◽  
Normal Ideals

Fred Appenzeller. An independence result in quadratic form theory: infinitary combinatorics applied to ε-Hermitian spaces. The journal of symbolic logic, vol. 54 (1989), pp. 689–699. - Otmar Spinas. Linear topologies on sesquilinear spaces of uncountable dimension. Fundamenta mathematicae, vol. 139 (1991), pp. 119–132. - James E. Baumgartner, Matthew Foreman, and Otmar Spinas. The spectrum of the Γ-invariant of a bilinear space. Journal of algebra, vol. 189 (1997), pp. 406–418. - James E. Baumgartner and Otmar Spinas. Independence and consistency proofs in quadratic form theory. The journal of symbolic logic, vol. 56 (1991), pp. 1195–1211. - Otmar Spinas. Iterated forcing in quadratic form theory. Israel journal of mathematics, vol. 79 (1992), pp. 297–315. - Otmar Spinas. Cardinal invariants and quadratic forms. Set theory of the reals, edited by Haim Judah, Israel mathematical conference proceedings, vol. 6, Gelbart Research Institute for Mathematical Sciences, Bar-Ilan University, Ramat-Gan 1993, distributed by the American Mathematical Society, Providence, pp. 563–581. - Saharon Shelah and Otmar Spinas. Gross spaces. Transactions of the American Mathematical Society, vol. 348 (1996), pp. 4257–4277.

2001 ◽  
Vol 7 (2) ◽  
pp. 285-286
Author(s):  
Paul C. Eklof
Keyword(s):  
Quadratic Form ◽  
Quadratic Forms ◽  
American Mathematical Society ◽  
Mathematical Society ◽  
Symbolic Logic ◽  
Iterated Forcing ◽  
Independence Result ◽  
Form Theory ◽  
Mathematical Sciences ◽  
Consistency Proofs
Sign in / Sign up

Export Citation Format

Share Document