A tree argument in infinitary model theory

V. Harnik; M. Makkai

doi:10.1090/S0002-9939-1977-0472506-8

A tree argument in infinitary model theory

V. Harnik, M. Makkai

Department of Mathematics

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

Abstract

A tree argument is used to show that any counterexample to Vaught's conjecture must have an uncountable model. A similar argument replaces the use of forcing by Burgess in a theorem on Σ₁¹ equivalence relations.

Original language	English
Pages (from-to)	209-214
Number of pages	6
Journal	Proceedings of the American Mathematical Society
Volume	67
Issue number	2
DOIs	https://doi.org/10.1090/S0002-9939-1977-0472506-8
State	Published - Dec 1977

ASJC Scopus subject areas

General Mathematics
Applied Mathematics

Access to Document

10.1090/S0002-9939-1977-0472506-8

Cite this

@article{39a239d2a8234f9f9a8e118ff58082f5,

title = "A tree argument in infinitary model theory",

abstract = "A tree argument is used to show that any counterexample to Vaught's conjecture must have an uncountable model. A similar argument replaces the use of forcing by Burgess in a theorem on Σ11 equivalence relations.",

author = "V. Harnik and M. Makkai",

year = "1977",

month = dec,

doi = "10.1090/S0002-9939-1977-0472506-8",

language = "English",

volume = "67",

pages = "209--214",

journal = "Proceedings of the American Mathematical Society",

issn = "0002-9939",

publisher = "American Mathematical Society",

number = "2",

}

TY - JOUR

T1 - A tree argument in infinitary model theory

AU - Harnik, V.

AU - Makkai, M.

PY - 1977/12

Y1 - 1977/12

N2 - A tree argument is used to show that any counterexample to Vaught's conjecture must have an uncountable model. A similar argument replaces the use of forcing by Burgess in a theorem on Σ11 equivalence relations.

AB - A tree argument is used to show that any counterexample to Vaught's conjecture must have an uncountable model. A similar argument replaces the use of forcing by Burgess in a theorem on Σ11 equivalence relations.

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

U2 - 10.1090/S0002-9939-1977-0472506-8

DO - 10.1090/S0002-9939-1977-0472506-8

M3 - Article

AN - SCOPUS:84966240842

SN - 0002-9939

VL - 67

SP - 209

EP - 214

JO - Proceedings of the American Mathematical Society

JF - Proceedings of the American Mathematical Society

IS - 2

ER -

A tree argument in infinitary model theory

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this