Translator Disclaimer
March 2004 Standard sets in nonstandard set theory
Petr Andreev, Karel Hrbacek
J. Symbolic Logic 69(1): 165-182 (March 2004). DOI: 10.2178/jsl/1080938835

Abstract

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

Citation

Download Citation

Petr Andreev. Karel Hrbacek. "Standard sets in nonstandard set theory." J. Symbolic Logic 69 (1) 165 - 182, March 2004. https://doi.org/10.2178/jsl/1080938835

Information

Published: March 2004
First available in Project Euclid: 2 April 2004

zbMATH: 1067.03071
MathSciNet: MR2039355
Digital Object Identifier: 10.2178/jsl/1080938835

Keywords: elementary embedding , Nonstandard set theory , standardization , ultraproduct

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
18 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 1 • March 2004
Back to Top