Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1612

Preprint Number 1612

Previous Next Preprint server

1612. Milož S. Kurilić
Vaught's Conjecture for Almost Chainable Theories

Submission date: 14 May 2019


A structure 𝕐 of a relational language L is called almost chainable iff there are a finite set F ⊂ Y and a linear order < on the set Y \ F such that for each partial automorphism φ (i.e., local automorphism, in Fraïssé's terminology) of the linear order ⟩ Y \ F, < ⟨ the mapping id _F ∪ φ is a partial automorphism of 𝕐. By a theorem of Fraïssé, if |L| < ω, then 𝕐 is almost chainable iff the profile of 𝕐 is bounded; namely, iff there is a positive integer m such that 𝕐 has ≤ m non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory T having infinite models is called almost chainable iff all models of T are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of T. In addition, it is proved that an almost chainable theory has either one or continuum many non-isomorphic countable models and, thus, the Vaught conjecture is confirmed for almost chainable theories.

Mathematics Subject Classification: 03C15, 03C50, 03C35, 06A05

Keywords and phrases:

Full text: arXiv 1905.05531: pdf, ps

Last updated: March 23 2021 10:21 Please send your corrections to: