|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2013, Volume 13, Issue 4, Pages 43–67
(Mi vngu313)
|
|
|
|
This article is cited in 9 scientific papers (total in 9 papers)
Index Sets of Autostable Relative to Strong Constructivizations Constructive Models
S. S. Goncharovab, M. I. Marchukb a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Abstract:
Found complexity of Index sets of autostable relative to strong constructivizations constructive models with strong constructivizations and strong constructive models.
Keywords:
computable model, decidable model, constructive model, strong constructive model, numbering, computable numberings, hyperarithmetical hierarchy, index sets, autostable models, categorical models.
Received: 25.02.2013
Citation:
S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 13:4 (2013), 43–67; J. Math. Sci., 205:3 (2015), 368–388
Linking options:
https://www.mathnet.ru/eng/vngu313 https://www.mathnet.ru/eng/vngu/v13/i4/p43
|
Statistics & downloads: |
Abstract page: | 376 | Full-text PDF : | 36 | References: | 35 | First page: | 8 |
|