The Transfer Principle holds for definable nonstandard models under Countable Choice

Herzberg F (2016) Center for Mathematical Economics Working Papers; 560.
Bielefeld: Center for Mathematical Economics.

Download
OA 389.51 KB
Working Paper | Published | English
Author
Abstract
Łos’s theorem for (bounded) D-ultrapowers, D being the ultrafilter introduced by Kanovei and Shelah [Journal of Symbolic Logic, 69(1):159–164, 2004], can be established within Zermelo–Fraenkel set theory plus Countable Choice ($ZF+AC_\omega$). Thus, the Transfer Principle for both Kanovei and Shelah’s definable nonstandard model of the reals and Herzberg’s definable nonstandard enlargement of the superstructure over the reals [Mathematical Logic Quarterly, 54(2):167–175; 54(6):666– 667, 2008] can be shown in $ZF+AC_\omega$. This establishes a conjecture by Mikhail Katz [personal communication].
Publishing Year
ISSN
PUB-ID

Cite this

Herzberg F. The Transfer Principle holds for definable nonstandard models under Countable Choice. Center for Mathematical Economics Working Papers. Vol 560. Bielefeld: Center for Mathematical Economics; 2016.
Herzberg, F. (2016). The Transfer Principle holds for definable nonstandard models under Countable Choice (Center for Mathematical Economics Working Papers, 560). Bielefeld: Center for Mathematical Economics.
Herzberg, F. (2016). The Transfer Principle holds for definable nonstandard models under Countable Choice. Center for Mathematical Economics Working Papers, 560, Bielefeld: Center for Mathematical Economics.
Herzberg, F., 2016. The Transfer Principle holds for definable nonstandard models under Countable Choice, Center for Mathematical Economics Working Papers, no.560, Bielefeld: Center for Mathematical Economics.
F. Herzberg, The Transfer Principle holds for definable nonstandard models under Countable Choice, Center for Mathematical Economics Working Papers, vol. 560, Bielefeld: Center for Mathematical Economics, 2016.
Herzberg, F.: The Transfer Principle holds for definable nonstandard models under Countable Choice. Center for Mathematical Economics Working Papers, 560. Center for Mathematical Economics, Bielefeld (2016).
Herzberg, Frederik. The Transfer Principle holds for definable nonstandard models under Countable Choice. Bielefeld: Center for Mathematical Economics, 2016. Center for Mathematical Economics Working Papers. 560.
Main File(s)
File Name
Access Level
OA Open Access
Last Uploaded
2016-07-22T08:53:27Z

This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Search this title in

Google Scholar