Literature cited
H. Läuchli and J. Leonard, “On the elementary theory of linear order,” Fundam. Math.,59, 109–116 (1966).
M. O. Rabin, “Solvable theories,” Handbook on Mathematical Logic, Vol. 3, Recursion Theory [in Russian], Nauka, Moscow (1982).
S. Shelah, “The monadic theory of order,” Ann. Math., Ser. 2,102, No. 3, 379–419 (1975).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 47, No. 5, pp. 31–38, May, 1990.
The author thanks An. A. Muchnik for his useful comments.
Rights and permissions
About this article
Cite this article
Vereshchagin, N.K. New proof of the solvability of the elementary theory of linearly ordered sets. Mathematical Notes of the Academy of Sciences of the USSR 47, 444–449 (1990). https://doi.org/10.1007/BF01158085
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01158085