Viva la difference I: Nonisomorphism of ultrapowers of countable models
Saharon Shelah
math.LOarXiv:math/9201245
Abstract
We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .
Create a lesson
Related papers
On the foundations of logic and probability, I. Modal sentential calculi
Loic Cosyns
Compactness via Consistency Properties
Edgar Valenzuela
Fine Selection for Intuitionistic Modal Logic
David Fernández-Duque
Asymptotic dimension of commutative monoid actions
Jinmin Wang, Jing Yu, Jingming Zhu
Pointwise provable equality and the failure of composition
Florian Lengyel
Compactness beyond choice and HOD
Jonathan Osinski