A proof of vaught's conjecture for ω-stable theories

S. Shelah; L. Harrington; M. Makkai

doi:10.1007/BF02760651

A proof of vaught's conjecture for ω-stable theories

S. Shelah^*, L. Harrington, M. Makkai

^*Corresponding author for this work

Einstein Institute of Mathematics

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

46 Scopus citations

Abstract

In this paper it is proved that if T is a countable complete ω-stable theory in ordinary logic, then T has either continuum many, or at most countably many, non-isomorphic countable models.

Original language	English
Pages (from-to)	259-280
Number of pages	22
Journal	Israel Journal of Mathematics
Volume	49
Issue number	1-3
DOIs	https://doi.org/10.1007/BF02760651
State	Published - Sep 1984

Access to Document

10.1007/BF02760651

Cite this

@article{5a5b853634e140949597050eff6aca77,

title = "A proof of vaught's conjecture for ω-stable theories",

abstract = "In this paper it is proved that if T is a countable complete ω-stable theory in ordinary logic, then T has either continuum many, or at most countably many, non-isomorphic countable models.",

author = "S. Shelah and L. Harrington and M. Makkai",

year = "1984",

month = sep,

doi = "10.1007/BF02760651",

language = "אנגלית",

volume = "49",

pages = "259--280",

journal = "Israel Journal of Mathematics",

issn = "0021-2172",

publisher = "Springer New York",

number = "1-3",

}

TY - JOUR

T1 - A proof of vaught's conjecture for ω-stable theories

AU - Shelah, S.

AU - Harrington, L.

AU - Makkai, M.

PY - 1984/9

Y1 - 1984/9

N2 - In this paper it is proved that if T is a countable complete ω-stable theory in ordinary logic, then T has either continuum many, or at most countably many, non-isomorphic countable models.

AB - In this paper it is proved that if T is a countable complete ω-stable theory in ordinary logic, then T has either continuum many, or at most countably many, non-isomorphic countable models.

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

U2 - 10.1007/BF02760651

DO - 10.1007/BF02760651

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

AN - SCOPUS:51649158703

SN - 0021-2172

VL - 49

SP - 259

EP - 280

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 1-3

ER -

A proof of vaught's conjecture for ω-stable theories

Abstract

Access to Document

Other files and links

Fingerprint

Cite this