论文信息 - On certain elementary extensions of models of set theory - 字舞流文

On certain elementary extensions of models of set theory

On etudie deux methodes canoniques pour produire des modeles de ZFC sans extensions terminales elementaires. On considere certains theoremes de completude concernant les extensions elementaires

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

[2] Matt Kaufmann,et al. Blunt and topless end extensions of models of set theory , 1983, Journal of Symbolic Logic.

[3] Saharon Shelah,et al. Appendix to models with second order properties II trees with no undefined branches , 1978 .

[4] John E. Hutchinson. Elementary Extensions of Countable Models of Set Theory , 1976, J. Symb. Log..

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

[6] John E. Hutchinson. Model theory via set theory , 1976 .

[7] H. Keisler. Model theory for infinitary logic , 1971 .

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

[9] Saharon Shelah. Models with second order properties I. Boolean algebras with no definable automorphisms , 1978 .

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