Viva la difference I: Nonisomorphism of ultrapowers of countable models

Preprint

15 January 1991

preprint
Published by arXiv in arXiv

https://doi.org/10.48550/arXiv.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 .

Keywords

ELEMENTARILY EQUIVALENT
COUNTABLE ELEMENTARILY
ULTRAPOWERS RELATIVE
COUNTABLE MODELS
NONISOMORPHISM
TWO COUNTABLE
ULTRAFILTER
VIVA

All Related Versions

Version 1, 1991-01-15, ArXiv

This publication has 0 references indexed in Scilit: