A tree argument in infinitary model theory

V. Harnik, M. Makkai

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)209-214
Number of pages6
JournalProceedings of the American Mathematical Society
Issue number2
StatePublished - Dec 1977

ASJC Scopus subject areas

  • General Mathematics
  • Applied Mathematics


Dive into the research topics of 'A tree argument in infinitary model theory'. Together they form a unique fingerprint.

Cite this