Literature Cited
A. Macintyre, “Model completeness for sheaves of structures” Fund. Math.,81, 73–89 (1973).
M. Ya. Antonovskii, V. G. Boltyanskii, and T. A. Sarymsakov, Topological Boolean Algebras [in Russian], Tashkent (1963), p. 132.
B. Z. Vulikh, Introduction to the Theory of Semiordered Spaces [in Russian], Fizmatgiz, Moscow (1961), p. 407.
S. S. Abhyankar, Local Analytic Geometry, Academic Press, New York-London (1964).
Yu. L. Ershov, Decision Problems and Constructive Models [in Russian], Nauka, Moscow (1980), p. 409.
Additional information
Tashkent. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 27, No. 3, pp. 47–50, May–June, 1986.
Rights and permissions
About this article
Cite this article
Gulamov, R. Decidability of the elementary theory of universal semifields of the second kind. Sib Math J 27, 344–347 (1986). https://doi.org/10.1007/BF00969270
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00969270