Heights of Models of ZFC and the Existence of End Elementary Extensions II
Villaveces, Andres
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 1111-1124 / Harvested from Project Euclid
The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height of M and the existence of End Elementary Extensions of M. In particular, we prove that the theory `ZFC + GCH + there exist measurable cardinals + all inaccessible non weakly compact cardinals are possible heights of models with no End Elementary Extensions' is consistent relative to the theory `ZFC + GCH + there exist measurable cardinals + the weakly compact cardinals are cofinal in ON'. We also provide a simpler coding that destroys GCH but otherwise yields the same result.
Publié le : 1999-09-14
Classification: 
@article{1183745872,
     author = {Villaveces, Andres},
     title = {Heights of Models of ZFC and the Existence of End Elementary Extensions II},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 1111-1124},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745872}
}
Villaveces, Andres. Heights of Models of ZFC and the Existence of End Elementary Extensions II. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  1111-1124. http://gdmltest.u-ga.fr/item/1183745872/