2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152769We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .LogicViva la difference I: Nonisomorphism of ultrapowers of countable modelstext