Pseudo-Superstructures as Nonstandard Universes
Nasso, Mauro Di
J. Symbolic Logic, Tome 63 (1998) no. 1, p. 222-236 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard universes are arranged in strata in the likeness of superstructures and allow a rank function taking linearly ordered values. Nonstandard universes are also constructed which model the whole ZFC theory without regularity and satisfy the $\kappa$-saturation property.
Publié le : 1998-03-14
Classification:  
@article{1183745467,
     author = {Nasso, Mauro Di},
     title = {Pseudo-Superstructures as Nonstandard Universes},
     journal = {J. Symbolic Logic},
     volume = {63},
     number = {1},
     year = {1998},
     pages = { 222-236},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745467}
}

Nasso, Mauro Di. Pseudo-Superstructures as Nonstandard Universes. J. Symbolic Logic, Tome 63 (1998) no. 1, pp.  222-236. http://gdmltest.u-ga.fr/item/1183745467/