arXiv Analytics

Sign in

arXiv:1712.06198 [math.LO]AbstractReferencesReviewsResources

Ultrafilter extensions do not preserve elementary equivalence

Denis I. Saveliev, Saharon Shelah

Published 2017-12-17Version 1

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

Categories: math.LO
Subjects: 03C55, 54D35, 54D80, 03C30, 03C80, 54H10
Related articles: Most relevant | Search more
arXiv:2405.17101 [math.LO] (Published 2024-05-27)
Ultrafilter extensions of bounded graphs are elementary
arXiv:2502.09451 [math.LO] (Published 2025-02-13)
Notes on ultrafilter extensions of almost bounded structures
arXiv:1310.4533 [math.LO] (Published 2013-10-16)
Ultrafilter extensions of linear orders

Links

Toolbox