S. S. Goncharov, M. I. Marchuk, “Index Sets of Autostable Relative to Strong Constructivizations Constructive Models”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2013, Volume 13, Issue 4,Pages <nobr>43

This article is cited in 9 papers

Index Sets of Autostable Relative to Strong Constructivizations Constructive Models

S. S. Goncharov^ab, M. I. Marchuk^b

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

UDC: 510.5

Received: 25.02.2013