Geodesic
Semidecidable numberings in admissible sets
Algebra i logika, Tome 59 (2020) no. 3, pp. 395-402.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AL_2020_59_3_a8,
     author = {I. Sh. Kalimullin and V. G. Puzarenko and M. Kh. Faizrahmanov},
     title = {Semidecidable numberings in admissible sets},
     journal = {Algebra i logika},
     pages = {395--402},
     publisher = {mathdoc},
     volume = {59},
     number = {3},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2020_59_3_a8/}
}
TY  - JOUR
AU  - I. Sh. Kalimullin
AU  - V. G. Puzarenko
AU  - M. Kh. Faizrahmanov
TI  - Semidecidable numberings in admissible sets
JO  - Algebra i logika
PY  - 2020
SP  - 395
EP  - 402
VL  - 59
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2020_59_3_a8/
LA  - ru
ID  - AL_2020_59_3_a8
ER  - 
%0 Journal Article
%A I. Sh. Kalimullin
%A V. G. Puzarenko
%A M. Kh. Faizrahmanov
%T Semidecidable numberings in admissible sets
%J Algebra i logika
%D 2020
%P 395-402
%V 59
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2020_59_3_a8/
%G ru
%F AL_2020_59_3_a8
I. Sh. Kalimullin; V. G. Puzarenko; M. Kh. Faizrahmanov. Semidecidable numberings in admissible sets. Algebra i logika, Tome 59 (2020) no. 3, pp. 395-402. http://geodesic.mathdoc.fr/item/AL_2020_59_3_a8/

[1] R. M. Friedberg, “Three theorems on recursive enumeration. I: Decomposition. II: Maximal set. III: Enumeration without duplication”, J. Symb. Log., 23:3 (1958), 309–316 | DOI | MR

[2] Yu. L. Ershov, Opredelimost i vychislimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR

[3] V. G. Puzarenko, “O razreshimykh vychislimykh $\mathbb{A}$-numeratsiyakh”, Algebra i logika, 41:5 (2002), 568–584 | MR | Zbl

[4] V. G. Puzarenko, “K vychislimosti na spetsialnykh modelyakh”, Sib. matem. zh., 46:1 (2005), 185–208 | MR | Zbl

[5] I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Pozitivnye predstavleniya semeistv otnositelno $e$-orakulov”, Sib. matem. zh., 59:4 (2018), 823–833 | MR | Zbl

[6] I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “O pozitivnykh i odnoznachnykh vychislimykh numeratsiyakh v giperarifmetike”, Algebra i logika, 59:1 (2020), 66–83 | MR | Zbl

[7] I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrakhmanov, “Pozitivnye numeratsii v dopustimykh mnozhestvakh”, Sib. matem. zh., 61:3 (2020), 607–621 | MR | Zbl

[8] Yu. L. Ershov, Teoriya numeratsii, Nauka, M., 1977 | MR

[9] D. Marker, “Non $\Sigma_n$ axiomatizable almost strongly minimal theories”, J. Symb. Log., 54:3 (1989), 921–927 | DOI | MR | Zbl

[10] S. S. Goncharov, B. Khusainov, “Slozhnost teorii vychislimykh kategorichnykh modelei”, Algebra i logika, 43:6 (2004), 650–665 | MR | Zbl

[11] M. Faizrahmanov, A. Kach, I. Kalimullin, A. Montalbán, V. Puzarenko, “Jump inversions of algebraic structures and $\Sigma$-definability”, Math. Log. Q., 65:1 (2019), 37–45 | DOI | MR | Zbl