Geodesic
Index Sets of Almost Prime Constructive Models
Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 3, pp. 38-52
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Found complexity of Index sets of strong constructive almost prime models, almost prime constructive models and almost prime constructive models with strong constructivizations.
Keywords: computable model, decidable model, constructive model, strong constructive model, prime model, almost prime model, numbering, computable numbering, hyperarithmetical hierarchy, index sets. 
@article{VNGU_2013_13_3_a3,
     author = {S. S. Goncharov},
     title = {Index {Sets} of {Almost} {Prime} {Constructive} {Models}},
     journal = {Sibirskij \v{z}urnal \v{c}istoj i prikladnoj matematiki},
     pages = {38--52},
     year = {2013},
     volume = {13},
     number = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VNGU_2013_13_3_a3/}
}
TY  - JOUR
AU  - S. S. Goncharov
TI  - Index Sets of Almost Prime Constructive Models
JO  - Sibirskij žurnal čistoj i prikladnoj matematiki
PY  - 2013
SP  - 38
EP  - 52
VL  - 13
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/VNGU_2013_13_3_a3/
LA  - ru
ID  - VNGU_2013_13_3_a3
ER  - 
%0 Journal Article
%A S. S. Goncharov
%T Index Sets of Almost Prime Constructive Models
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2013
%P 38-52
%V 13
%N 3
%U http://geodesic.mathdoc.fr/item/VNGU_2013_13_3_a3/
%G ru
%F VNGU_2013_13_3_a3
S. S. Goncharov. Index Sets of Almost Prime Constructive Models. Sibirskij žurnal čistoj i prikladnoj matematiki, Tome 13 (2013) no. 3, pp. 38-52. http://geodesic.mathdoc.fr/item/VNGU_2013_13_3_a3/

[1] Goncharov S. S., Nait Dzh., “Vychislimye strukturnye i antistrukturnye teoremy”, Algebra i logika, 41:6 (2002), 639–681 | MR | Zbl

[2] Nurtazin A. T., Vychislimye klassy i algebraicheskie kriterii avtoustoichivosti, Dis. \ldots kand. fiz.-mat. nauk, AN Kazakhskoi SSR. In-t matematiki i mekhaniki. Lab. algebry i logiki, Alma-Ata, 1974 | Zbl

[3] Goncharov S. S., Ershov Yu. L., Konstruktivnye modeli, Nauch. kn., Novosibirsk, 1999

[4] Keisler G., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977 | MR

[5] Goncharov S. S., “Computability and Computable Models. Mathematical Problems from Applied Logic, II”, Logics for the XXI Century, International Mathematical Series, eds. D. M. Gabbay, S. S. Goncharov, M. Zakharyaschev, Springer, N. Y., 2006, 99–216 | MR

[6] Fokina E. B., “Indeksnye mnozhestva razreshimykh modelei”, Sib. mat. zhurn., 48:5 (2007), 1167–1179 | MR | Zbl

[7] Rodzhers Kh., Teoriya rekursivnykh funktsii i effektivnaya vychislimost, Mir, M., 1972 | MR

[8] Pavlovskii E. N., “Otsenka algoritmicheskoi slozhnosti klassov vychislimykh modelei”, Sib. mat. zhurn., 49:3 (2008), 635–649 | MR

[9] Pavlovskii E. N., “Indeksnye mnozhestva prostykh modelei”, Sibirskie elektronnye matematicheskie izvestiya, 5 (2008), 200–210 | MR

[10] Goncharov S. S., “Problema chisla neavtoekvivalentnykh konstruktivizatsii”, Algebra i logika, 1980, no. 6, 621–639 | MR | Zbl

[11] Nurtazin A. T., “Silnye i slabye konstruktivizatsii i vychislimye semeistva”, Algebra i logika, 13:3 (1974), 311–323 | MR | Zbl

[12] Ershov Yu. L., Palyutin E. A., Matematicheskaya logika, Nauka, M., 2011, 320 pp. | MR | Zbl

[13] Goncharov S. S., Nurtazin A. E., “Konstruktivnye modeli polnykh razreshimykh teorii”, Algebra i logika, 12:2 (1973), 125–142 | MR | Zbl

[14] Goncharov S. S., Purmakhdian M., “Iterirovannye obogascheniya modelei schetnykh teorii i ikh prilozheniya”, Algebra i logika, 34:6 (1995), 623–645 | MR | Zbl