Independence results

1 September 1980

journal article
Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic

Vol. 45 (3) , 563-573
https://doi.org/10.2307/2273423

Abstract

We prove independence results concerning the number of nonisomorphic models (using the S-chain condition and S-properness) and the consistency of “ there is a universal linear order of power ℵ1”. Most of these results were announced in [Sh 4], [Sh 5]. In subsequent papers we shall prove an analog f MA for forcing which does not destroy stationary subsets of ω 1 investigate -properness for various filters and prove the consistency with G.C.H. of an axiom implying SH (for ℵ1), and connected results.

Keywords

This publication has 3 references indexed in Scilit:

The shelahP-point independence theorem
Israel Journal of Mathematics, 1982
Αll $ℵ_1$-dense sets of reals can be isomorphic
Fundamenta Mathematicae, 1973
Iterated Cohen Extensions and Souslin's Problem
Annals of Mathematics, 1971