Standardization Principle of Nonstandard Universes
Murakami, Masahiko
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 1645-1655 / Harvested from Project Euclid
A bounded ultrasheaf is a nonstandard universe constructed from a superstructure in a Boolean valued model of set theory. We consider the bounded elementary embeddings between bounded ultrasheaves. Then the standardization principle is true if and only if the ultrafilters are comparable by the Rudin-Frolik order. The base concept is that the bounded elementary embeddings correspond to the complete Boolean homomorphisms. We represent this by the Rudin-Keisler order of ultrafilters of Boolean algebras.
Publié le : 1999-12-14
Classification: 
@article{1183745944,
     author = {Murakami, Masahiko},
     title = {Standardization Principle of Nonstandard Universes},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 1645-1655},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745944}
}
Murakami, Masahiko. Standardization Principle of Nonstandard Universes. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  1645-1655. http://gdmltest.u-ga.fr/item/1183745944/