Existence of EF-equivalent non-isomorphic models

Chanoch Havlin; Saharon Shelah

doi:10.1002/malq.200610031

Existence of EF-equivalent non-isomorphic models

Chanoch Havlin
, Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

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

3 Scopus citations

Abstract

We prove the existence of pairs of models of the same cardinality γ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but we do not rely on it.

Original language	English
Pages (from-to)	111-127
Number of pages	17
Journal	Mathematical Logic Quarterly
Volume	53
Issue number	2
DOIs	https://doi.org/10.1002/malq.200610031
State	Published - 2007

Keywords

EF equivalent
Infinitary logics
Model theory
Non-isomorphic

Access to Document

10.1002/malq.200610031

Cite this

@article{74009a6592bb4ce595761eb455f156d4,

title = "Existence of EF-equivalent non-isomorphic models",

abstract = "We prove the existence of pairs of models of the same cardinality γ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but we do not rely on it.",

keywords = "EF equivalent, Infinitary logics, Model theory, Non-isomorphic",

author = "Chanoch Havlin and Saharon Shelah",

year = "2007",

doi = "10.1002/malq.200610031",

language = "אנגלית",

volume = "53",

pages = "111--127",

journal = "Mathematical Logic Quarterly",

issn = "0942-5616",

publisher = "Wiley-VCH Verlag",

number = "2",

}

TY - JOUR

T1 - Existence of EF-equivalent non-isomorphic models

AU - Havlin, Chanoch

AU - Shelah, Saharon

PY - 2007

Y1 - 2007

N2 - We prove the existence of pairs of models of the same cardinality γ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but we do not rely on it.

AB - We prove the existence of pairs of models of the same cardinality γ which are very equivalent according to EF games, but not isomorphic. We continue the paper [4], but we do not rely on it.

KW - EF equivalent

KW - Infinitary logics

KW - Model theory

KW - Non-isomorphic

UR - https://www.scopus.com/pages/publications/34247219627

U2 - 10.1002/malq.200610031

DO - 10.1002/malq.200610031

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

AN - SCOPUS:34247219627

SN - 0942-5616

VL - 53

SP - 111

EP - 127

JO - Mathematical Logic Quarterly

JF - Mathematical Logic Quarterly

IS - 2

ER -

Existence of EF-equivalent non-isomorphic models

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this