Ultrafilter extensions do not preserve elementary equivalence

Autor:	Saveliev, Denis I., Shelah, Saharon
Rok vydání:	2017
Předmět:	Mathematics - Logic 03C55 54D35 54D80 (Primary) 03C30 03C80 54H10 (Secondary)
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1712.06198 Zobrazit plný text záznamu View this record from Arxiv