论文信息 - Conservative Extensions of Models of Set Theory and Generalizations - 字舞流文

Conservative Extensions of Models of Set Theory and Generalizations

Etude des extensions conservatives de modeles de la theorie des ensembles et de leurs generalisations. Etablissement de quelques resultats relatifs aux modeles de l'arithmetique de Peano

[1] R. G. Phillips. Omitting types in arithmetic and conservative extensions , 1974 .

[2] Urlich Felgner,et al. Comparison of the axioms of local and universal choice , 1971 .

[3] Klaus Potthoff. A simple tree lemma and its application to a counterexample of philips , 1977, Arch. Math. Log..

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

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

[6] James H. Schmerl. On κ-like structures which embed stationary and closed unbounded subsets , 1976 .

[7] James H. Schmerl. Recursively saturated, rather classless models of peano arithmetic , 1981 .

[8] H. Jerome Keisler,et al. Elementary extensions of models of set theory , 1968 .

[9] R. Phillips. A minimal extension that is not conservative. , 1974 .

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