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