Ultrafilter extensions do not preserve elementary equivalence
Denis I. SavelievSaharon Shelah
所有作者
Denis I. SavelievSaharon Shelah
文献摘要
We show that there exist models M1 and M2 such that
M1 elementarily embeds into M2 but their ultrafilter
extensions β(M1) and β(M2) are not elementarily
equivalent.