Literature Cited
S. S. Goncharov and A. T. Nurtazin, “Constructive models of completely decidable theories,” Algebra Logika,12, No. 2, 125–142 (1973).
Yu. L. Ershov, Enumeration Theory [in Russian], No. 3, Novosibirsk. Univ., Novosibirsk (1974).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York (1967).
M. G. Peretyat'kin, “Strongly constructuve models and enumeration of Boolean algebras of recursive sets,” Algebra Logika,10, No. 5, 535–557 (1971).
S. S. Goncharov, “Some properties of constructivization of Boolean algebras,” Sib. Mat. Zh.,16, No. 2, 264–278 (1975).
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, Vol. 18, No. 5, pp. 1002–1014, September–October, 1977.
Rights and permissions
About this article
Cite this article
Drobotun, B.N. Enumerations of simple models. Sib Math J 18, 707–716 (1977). https://doi.org/10.1007/BF00967009
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00967009