Publications > Preprint server > Preprint Number 1612
Preprint Number 1612
1612. Milož S. Kurilić Vaught's Conjecture for Almost Chainable Theories Email: Submission date: 14 May 2019 Abstract: 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 nonisomorphic substructures of size n, for each positive integer n. A complete first order Ltheory 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 nonisomorphic 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: 