Showing 1 - 8 of 8
Persistent link: https://www.econbiz.de/10010416952
Persistent link: https://www.econbiz.de/10011707621
Ł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...
Persistent link: https://www.econbiz.de/10011517454
Persistent link: https://www.econbiz.de/10011894144
Persistent link: https://www.econbiz.de/10014432805
Persistent link: https://www.econbiz.de/10014249953
Persistent link: https://www.econbiz.de/10014318709
Persistent link: https://www.econbiz.de/10014320133