×
Goncharov, S. S.; Marchuk, M. I.

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).

Cited in 3 Documents

MSC:

03C57 Computable structure theory, computable model theory
03D45 Theory of numerations, effectively presented structures

Keywords:

constructive models
PDF BibTeX XML Cite
\textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Dokl. Math. 91, No. 2, 158--159 (2015; Zbl 1330.03076); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 461, No. 2, 140--142 (2015)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat

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.