Back to Search Start Over

A definable nonstandard enlargement

Authors :
Frederik Herzberg
Publication Year :
2008
Publisher :
WILEY-V C H VERLAG GMBH, 2008.

Abstract

This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals. This nonstandard universe is obtained as the union of an inductive chain of bounded ultrapowers (i.e. bounded with respect to the superstructure hierarchy). The underlying ultrafilter is the one constructed by Kanovei and Shelah [10]. (C) 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Subjects

Subjects :
Pure mathematics
Hierarchy (mathematics)
Logic
Ultrafilter
elementary embedding
definability
Chain (algebraic topology)
Bounded function
nonstandard universe
superstructure
ultrapower
Superstructure (condensed matter)
Mathematics
Universe (mathematics)

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.doi.dedup.....5a012568d585a20ee92b7eb99ea90bce
Full Text :
https://doi.org/10.1002/malq.200710022
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details