Article PDF
Avoid common mistakes on your manuscript.
Literature cited
Yu. Sh. Gurevich, "The problem of solution for the logic of predicates and operations," Algebra i Logika,8, No. 3, 284–308 (1969).
Yu. L. Ershov, "Constructive models," in: Selected Topics in Algebra and Logic [in Russian], Novosibirsk (1973), pp. 111–130.
A. I. Mal'tsev, "Constructive algebras," UMN,16, No. 3, 3–60 (1961).
A. Robinson, Introduction to Model Theory and to the Mathematics of Algebra, Humanities (1963).
S. O. Aanderaa and F. V. Jensen, "On the existence of recursive models for Krom formulas," Aarhus Univ., preprint series 1971/72, No. 33 (1972), 1–20.
A. Mostowski, "A formula with no recursively enumerable models," Fund. Math.,42, No. 1, 125–140 (1955).
Additional information
Translated from Algebra i Logika, Vol. 12, No. 2, pp. 211–219, March–April, 1973.
Rights and permissions
About this article
Cite this article
Peretyat'kin, M.G. Every recursively enumerable extension of a theory of linear order has a constructive model. Algebr Logic 12, 120–124 (1973). https://doi.org/10.1007/BF02219295
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02219295