Ultrafilter extensions do not preserve elementary equivalence

Denis I. Saveliev; Saharon Shelah

doi:10.1002/malq.201900045

Ultrafilter extensions do not preserve elementary equivalence

Denis I. Saveliev^*, Saharon Shelah

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Abstract

We show that there are models M₁ and M₂ such that M₁ elementarily embeds into M₁ but their ultrafilter extensions βM₁ and βM₂ are not elementarily equivalent.

Original language	English
Pages (from-to)	511-516
Number of pages	6
Journal	Mathematical Logic Quarterly
Volume	65
Issue number	4
DOIs	https://doi.org/10.1002/malq.201900045
State	Published - 1 Dec 2019

Bibliographical note

Publisher Copyright:
© 2019 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Access to Document

10.1002/malq.201900045

Cite this

@article{ed5a6a29202743dbb76ca321acb9311c,

title = "Ultrafilter extensions do not preserve elementary equivalence",

abstract = "We show that there are models M1 and M2 such that M1 elementarily embeds into M1 but their ultrafilter extensions βM1 and βM2 are not elementarily equivalent.",

author = "Saveliev, {Denis I.} and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} 2019 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim",

year = "2019",

month = dec,

day = "1",

doi = "10.1002/malq.201900045",

language = "אנגלית",

volume = "65",

pages = "511--516",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "4",

}

TY - JOUR

T1 - Ultrafilter extensions do not preserve elementary equivalence

AU - Saveliev, Denis I.

AU - Shelah, Saharon

PY - 2019/12/1

Y1 - 2019/12/1

N2 - We show that there are models M1 and M2 such that M1 elementarily embeds into M1 but their ultrafilter extensions βM1 and βM2 are not elementarily equivalent.

AB - We show that there are models M1 and M2 such that M1 elementarily embeds into M1 but their ultrafilter extensions βM1 and βM2 are not elementarily equivalent.

UR - http://www.scopus.com/inward/record.url?scp=85076750370&partnerID=8YFLogxK

U2 - 10.1002/malq.201900045

DO - 10.1002/malq.201900045

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85076750370

SN - 0942-5616

VL - 65

SP - 511

EP - 516

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 4

ER -

Ultrafilter extensions do not preserve elementary equivalence

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this