论文信息 - Elementary extensions of models of set theory

Elementary extensions of models of set theory

Abstract. A theorem of Enayat's concerning models of ZFC which had been proved using several different additional set-theoretical hypotheses is shown here to be absolute.

James H. Schmerl

[1] A. Enayat. ANALOGUES OF THE MacDOWELL-SPECKER THEOREM FOR SET THEORY , 1998 .

[2] Saharon Shelah,et al. Models with second order properties II. Trees with no undefined branches , 1978 .

[3] Saharon Shelah,et al. On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers , 1980, J. Symb. Log..

[4] Ali Enayat. On certain elementary extensions of models of set theory , 1984 .

[5] J. Malitz,et al. Embedding trees in the rationals. , 1970, Proceedings of the National Academy of Sciences of the United States of America.

[6] H. Keisler. Logic with the quantifier “there exist uncountably many” , 1970 .

[7] Ali Enayat. Conservative Extensions of Models of Set Theory and Generalizations , 1986, J. Symb. Log..