### Ultrafilter extensions do not preserve elementary equivalence

by Saveliev and Shelah. [SvSh:1132]

We show that there exist models M_1 and
M_2 such that M_1 elementarily embeds into
M_2 but their ultrafilter extension
beta (M_1) and beta (M_2) are not
elementarily equivalent.

Back to the list of publications