×

zbMATH — the first resource for mathematics

Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations. (English. Russian original) Zbl 1330.03076
Dokl. Math. 91, No. 2, 158-159 (2015); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 461, No. 2, 140-142 (2015).

MSC:
03C57 Computable structure theory, computable model theory
03D45 Theory of numerations, effectively presented structures
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Y. L. Ershov and S. S. Goncharov, Constructive Models: Siberian School of Algebra and Logic (Consultants Bureau, New York, 2000).
[2] C. J. Ash and J. F. Khight, Computable Structures and the Hyperarithmetical Hierarchy (Elsevier Sci., London, 2000). · Zbl 0960.03001
[3] Goncharov, S S; Knight, J, No article title, Algebra Logic, 41, 351-373, (2002)
[4] S. S. Goncharov, Computability and Computable Models, Mathematical Problems from Applied Logic (Springer, New York, 2007), pp. 99-216. · Zbl 1143.03017
[5] Goncharov, S S, No article title, Vestn. Novosoborsk. Gos. Univ., Ser. Mat. Mekh. Inf., 13, 38-52, (2013) · Zbl 1289.03027
[6] Fokina, E B, No article title, Sib. Math. J., 48, 939-948, (2007)
[7] Pavlovskii, E N, No article title, Sib. Math. J., 49, 512-523, (2008)
[8] Pavlovskii, E N, No article title, Sib. Elektron. Mat. Izv., 5, 200-210, (2008)
[9] Bazhenov, N A, No article title, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inform., 12, 35-45, (2012) · Zbl 1289.03024
[10] Bazhenov, N A, No article title, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inf., 13, 3-14, (2013) · Zbl 1289.03025
[11] Goncharov, S S; Marchuk, M I, No article title, Vestn. Novosibirsk. Gos. Univ., Ser. Mat. Mekh. Inf., 13, 43-67, (2013)
[12] Goncharov, S S, No article title, Algebra Logic, 19, 401-414, (1981) · Zbl 0476.03046
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.