Mar 7, 2008 · This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the ...
This article establishes the existence of a definable , countably saturated nonstandard enlargement of the superstructure over the reals.
This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals as the ...
This article establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals.
Nov 11, 2003 · Abstract: We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals.
Missing: enlargement. | Show results with:enlargement.
The present paper establishes the existence of a definable (over ZFC), countably saturated nonstandard enlargement of the superstructure over the reals.
A definable nonstandard enlargement.Frederik Herzberg - 2008 - Mathematical Logic Quarterly 54 (2):167-175. An Effective Conservation Result for Nonstandard ...
Nov 4, 2008 · Addendum to “A definable nonstandard enlargement”. This article corrects the following: A definable nonstandard enlargement · Frederik Herzberg ...
There exists a definable, countably saturated extension ∗R of the reals R, elementary in the sense of the language containing a symbol for every finitary ...
Title. Addendum to "A definable nonstandard enlargement" ; Creator. Herzberg, Frederik ; Is Part Of. Mathematical logic quarterly, 2008-12, Vol.54 (6), p.666-667.