Literature cited
M. G. Peretyat'kin, "Similarity of properties of recursively enumerable and finitely axiomatizable theories," Dokl. Akad. Nauk SSSR,308, No. 4, 788–791.
M. G. Peretyat'kin, "Immersing recursively enumerable theories in finitely axiomatizable ones," Tr. Inst. Mat. Akad. Nauk SSSR (1991).
M. G. Peretyat'kin, "Semantically universal classes of models," Algebra Logika,30, No. 4, 414–431 (1991).
C. C. Chang and H. J. Keisler, Model Theory, 2nd edn., North Holland (1977).
H. Rogers, Theory of Recursive Functions and Effective Computability, MIT Press (1987).
R. I. Soare, Recursively Enumerable Sets and Degrees, Springer-Verlag (1987).
Yu. L. Ershov, Problems of Decidability and Constructive Models [in Russian], Nauka, Moscow, (1980).
J. Shoenfield, Mathematical Logic [Russian translation], Nauka, Moscow (1975).
Additional information
Translated from Algebra i Logika, Vol. 31, No. 1, pp. 47–73, January–February, 1992.
Translated by O. Bessonova
Rights and permissions
About this article
Cite this article
Peretyat'kin, M.G. Semantic universality of theories over a superlist. Algebr Logic 31, 30–48 (1992). https://doi.org/10.1007/BF02259856
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02259856