# 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.

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].
Keywords
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.
All files available under the following license(s):
This Item is protected by copyright and/or related rights. [...]
Main File(s)
File Name
Access Level
Open Access