Hostname: page-component-76fb5796d-vfjqv Total loading time: 0 Render date: 2024-04-30T03:07:16.172Z Has data issue: false hasContentIssue false

VAUGHT’S CONJECTURE FOR ALMOST CHAINABLE THEORIES

Published online by Cambridge University Press:  13 August 2021

MILOŠ S. KURILIĆ*
Affiliation:
DEPARTMENT OF MATHEMATICS AND INFORMATICS FACULTY OF SCIENCES, UNIVERSITY OF NOVI SAD TRG DOSITEJA OBRADOVIĆA 4, NOVI SAD21000, SERBIAE-mail:milos@dmi.uns.ac.rs

Abstract

A structure ${\mathbb Y}$ of a relational language L is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $\,<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi $ (i.e., local automorphism, in Fraïssé’s terminology) of the linear order $\langle Y\setminus F, <\rangle $ the mapping $\mathop {\mathrm {id}}\nolimits _F \cup \varphi $ is a partial automorphism of ${\mathbb Y}$ . By theorems of Fraïssé and Pouzet, an infinite structure ${\mathbb Y}$ is almost chainable iff the profile of ${\mathbb Y}$ is bounded; namely, iff there is a positive integer m such that ${\mathbb Y}$ has $\leq m$ non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory ${\mathcal T}$ having infinite models is called almost chainable iff all models of ${\mathcal T}$ are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of ${\mathcal 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.

Type
Article
Copyright
© Association for Symbolic Logic 2021

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Baldwin, J.T., Friedman, S.D., Koerwien, M., and Laskowski, M.C., Three red herrings around Vaught’s conjecture. Transactions of the American Mathematical Society, vol. 368 (2016), no. 5, pp. 36733694.CrossRefGoogle Scholar
Fraïssé, R., Theory of Relations, revised edition, Studies in Logic and the Foundations of Mathematics, vol. 145, North-Holland, Amsterdam, 2000.Google Scholar
Frasnay, C., Quelques problémes combinatoires concernant les ordres totaux et les relations monomorphes. Annales de Institut Fourier (Grenoble), vol. 15 (1965), no. 2, pp. 415524.CrossRefGoogle Scholar
Gibson, P.C., Pouzet, M., and Woodrow, R.E., Relational structures having finitely many full-cardinality restrictions. Discrete Mathematics, vol. 291 (2005), no. 1–3, pp. 115134.CrossRefGoogle Scholar
Hodges, W., Model Theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.Google Scholar
Hodges, W., Lachlan, A.H., and Shelah, S., Possible orderings of an indiscernible sequence. The Bulletin of the London Mathematical Society, vol. 9 (1977), no. 2, pp. 212215.CrossRefGoogle Scholar
Kurilić, M.S., Vaught’s conjecture for monomorphic theories. Annals of Pure and Applied Logic, vol. 170 (2019), no. 8, pp. 910920.CrossRefGoogle Scholar
Pouzet, M., Application de la notion de relation presque-enchaînable au dénombrement des restrictions finies d’une relation. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, vol. 27 (1981), no. 4, pp. 289332.CrossRefGoogle Scholar
Puninskaya, V.A., Vaught’s conjecture. Journal of Mathematical Sciences (New York), vol. 109 (2002), no. 3, pp. 16491668.CrossRefGoogle Scholar
Rosenstein, J. G., Linear Orderings, Pure and Applied Mathematics, vol. 98, Academic Press, Inc., Harcourt Brace Jovanovich Publishers, New York–London, 1982.Google Scholar
Rubin, M., Theories of linear order. Israel Journal of Mathematics, vol. 17 (1974), pp. 392443.CrossRefGoogle Scholar
Schmerl, J.H., Arborescent structures. II. Interpretability in the theory of trees. Transactions of American Mathematical Society, vol. 266 (1981), no. 2, pp. 629643.Google Scholar
Steel, J. R., On Vaught’s conjecture. Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 193208.CrossRefGoogle Scholar
Vaught, R. L.. Denumerable models of complete theories, Infinitistic Methods, Proc. Sympos. Foundations of Math., Warsaw, 1959, Pergamon, Oxford, Panstwowe Wydawnictwo Naukowe, Warsaw, 1961, pp. 303321.Google Scholar