¡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+ACw). Thus, the Transfer Principle for both Kanovei and Shelah's...

Ł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+ACw). Thus, the Transfer Principle for both Kanovei and Shelah's...