Literature Cited
D. Saks, Saturated Model Theory [Russian translation], Mir, Moscow (1976).
V. Harnik and M. Makkai, “Applications of Vaught sentences and the covering theorem,” J. Symb. Logic,41, No. 1, 171–187 (1946).
Yu. L. Ershov, The Theory of Numerations [in Russian], Vol. 3, Novosibirsk Univ., Novosibirsk (1974).
H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, McGraw-Hill (1967).
C. C. Chang and H. J. Keisler, Model Theory, Elsevier (1974).
S. S. Goncharov, “Constructive superatomic Boolean algebras,” Algebra Logika,12, No. 1, 31–40 (1973).
M. Morley, “Categoricity in power,” Trans. Am. Math. Soc.,114, No. 2, 514–538 (1965).
J. T. Baldwin, “αT is finite for ℵ1-categorical T,” Trans. Am. Math. Soc.,81, No. 6, 37–51 (1973).
S. S. Goncharov and A. T. Nurtazin, “Constructive models of complete decidable theories,” Algebra Logika,12, No. 2, 125–142 (1973).
M. G. Peretyat'kin, “Strongly constructive models and numerations of a Boolean algebra of recursive sets,” Algebra Logika,10, No. 5, 535–557 (1971).
Additional information
Mathematics Institute, Siberian Branch, Academy of Sciences of the USSR, Novosibirsk. Pavlodar Pedagogic Institute, Pavlodar. Translated from Sibirskii Matematicheskii Zhurnal, Vol. 21, No. 2, pp. 25–41, March–April, 1980.
Rights and permissions
About this article
Cite this article
Goncharov, S.S., Drobotun, B.N. Numerations of saturated and homogeneous models. Sib Math J 21, 164–176 (1980). https://doi.org/10.1007/BF00968263
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00968263