Journal of Symbolic Logic

Standardization Principle of Nonstandard Universes

Masahiko Murakami

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

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.

Article information

Source
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1645-1655.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745944

Mathematical Reviews number (MathSciNet)
MR1780076

Zentralblatt MATH identifier
0948.03062

JSTOR
links.jstor.org

Citation

Murakami, Masahiko. Standardization Principle of Nonstandard Universes. J. Symbolic Logic 64 (1999), no. 4, 1645--1655. https://projecteuclid.org/euclid.jsl/1183745944


Export citation