Ultrafilter extensions do not preserve elementary equivalence

DOI10.1002/malq.201900045MaRDI QIDQ5108878

Saharon Shelah, Denis I. Saveliev

Publication date: 6 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.06198

Mathematics Subject Classification ID

54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)

03C80: Logic with extra quantifiers and operators

54D80: Special constructions of topological spaces (spaces of ultrafilters, etc.)

03C55: Set-theoretic model theory

54H10: Topological representations of algebraic systems

03C30: Other model constructions