References
S. S. Goncharov, Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
Yu. L. Ershov, Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], Nauka, Moscow (1987).
Additional information
Almaty. Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 40, No. 3, pp. 632–634, May–June, 1999.
Rights and permissions
About this article
Cite this article
Kudaîbergenov, K.Z. On extensions of constructive linear orders. Sib Math J 40, 539–540 (1999). https://doi.org/10.1007/BF02679761
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02679761