This is a preview of subscription content, log in via an institution to check access.
Literature Cited
V. K. Kartashov, “Quasivarieties of unars,” Mat. Zametki,27, No. 1, 7–20 (1980).
A. A. Ivanov, “Complete theories of a unary function,” in: The Sixth All-Union Conference in Mathematical Logic. Proceedings [in Russian], Tbilisi (1982), p. 70.
Yu. E. Shishmarev, “On categorical theories of one function,” Mat. Zametki,11, No. 1, 89–98 (1972).
L. Marcus, “Minimal models of theories of one function symbol,” Israel J. Math.,18, 117–131 (1974).
L. Marcus, “The number of countable models of a theory of one unary function,” Fund. Math.,108, No. 3, 171–181 (1980).
A. Ehrenfeucht, “Decidability of the theory of one function,” Notices Am. Math. Soc.,6, 268 (1959).
E. A. Palyutin, “Spectrum and structure of models of complete theories,” in: Reference Book in Mathematical Logic [in Russian], Nauka, Moscow (1982), pp. 320–387.
B. J. Rose and R. E. Woodrow, “Ultrahomogeneous structures,” A. Math. Log. Grundl. Math.,27, No. 1, 23–30 (1981).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
A. McIntyre, “Model completeness,” in: Reference Book in Mathematical Logic [in Russian], Nauka, Moscow (1982), pp. 141–182.
A. Ehrenfeucht, “An application of games to the completeness problem for formalized theories,” Fund. Math.,49, No. 2, 129–141 (1961).
Additional information
Novosibirsk. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 27, No. 1, pp. 57–69, January–February, 1986.
Rights and permissions
About this article
Cite this article
Ivanov, A.A. Complete theories of unars. Sib Math J 27, 45–55 (1986). https://doi.org/10.1007/BF00969341
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00969341