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