Ultrafilter extensions do not preserve elementary equivalence
Logic
2019-11-05 v2
Abstract
We show that there exist models and such that elementarily embeds into but their ultrafilter extensions and are not elementarily equivalent.
Keywords
Cite
@article{arxiv.1712.06198,
title = {Ultrafilter extensions do not preserve elementary equivalence},
author = {Denis I. Saveliev and Saharon Shelah},
journal= {arXiv preprint arXiv:1712.06198},
year = {2019}
}