Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MT_2020_23_1_a7, author = {M. I. Marchuk}, title = {{\CYRI}{\cyrn}{\cyrd}{\cyre}{\cyrk}{\cyrs}{\cyrn}{\cyro}{\cyre} {\cyrm}{\cyrn}{\cyro}{\cyrzh}{\cyre}{\cyrs}{\cyrt}{\cyrv}{\cyro} {\cyra}{\cyrv}{\cyrt}{\cyro}{\cyru}{\cyrs}{\cyrt}{\cyro}{\cyrishrt}{\cyrch}{\cyri}{\cyrv}{\cyrery}{\cyrh} {\cyru}{\cyrp}{\cyro}{\cyrr}{\cyrya}{\cyrd}{\cyro}{\cyrch}{\cyre}{\cyrn}{\cyrn}{\cyrery}{\cyrh} {\cyra}{\cyrb}{\cyre}{\cyrl}{\cyre}{\cyrv}{\cyrery}{\cyrh} {\cyrg}{\cyrr}{\cyru}{\cyrp}{\cyrp}}, journal = {Matemati\v{c}eskie trudy}, pages = {169--176}, publisher = {mathdoc}, volume = {23}, number = {1}, year = {2020}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MT_2020_23_1_a7/} }
M. I. Marchuk. Индексное множество автоустойчивых упорядоченных абелевых групп. Matematičeskie trudy, Tome 23 (2020) no. 1, pp. 169-176. http://geodesic.mathdoc.fr/item/MT_2020_23_1_a7/
[1] Goncharov S. C., “Problema chisla neavtoekvivalentnykh konstruktivizatsii”, Algebra i logika, 19:6 (1980), 621–639 | MR
[2] Goncharov S. C., “Problema chisla neavtoekvivalentnykh konstruktivizatsii”, Dokl. AN SSSR, 251:2 (1980), 271–274 | MR | Zbl
[3] Goncharov S. S., “Avtoustoichivost prostykh modelei otnositelno silnykh konstruktivizatsii”, Algebra i logika, 48:6 (2009), 729–740 | MR | Zbl
[4] Goncharov S. S., “Ob avtoustoichivosti otnositelno silnykh konstruktivizatsii pochti prostykh modelei”, UMN, 65:5(395) (2010), 107–142 | DOI | MR | Zbl
[5] Goncharov S. S., Bazhenov N. A., Marchuk M. I., “Indeksnoe mnozhestvo avtoustoichivykh otnositelno silnykh konstruktivizatsii bulevykh algebr”, Sib. matem. zhurn., 56:3 (2015), 498–512 | MR | Zbl
[6] Goncharov S. S., Bazhenov N. A., Marchuk M. I., “Indeksnoe mnozhestvo avtoustoichivykh otnositelno silnykh konstruktivizatsii lineinykh poryadkov”, Vestn. NGU. Ser. matem., mekh., informat., 15:3 (2015), 51–60 | MR | Zbl
[7] Goncharov S. C., Bazhenov N. A., Marchuk M. I., “Indeksnoe mnozhestvo avtoustoichivykh otnositelno silnykh konstruktivizatsii grupp”, Sib. matem. zhurn., 58:1 (2017), 95–103 | MR | Zbl
[8] Goncharov C. C., Ershov Yu. L., Konstruktivnye modeli, Nauchnaya kniga, Novosibirsk, 1999 | MR
[9] Goncharov S. S., Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii konstruktivnykh modelei konechnoi signatury i signatury grafov”, Algebra i logika, 54:6 (2015), 663–679
[10] Goncharov S. S., Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii konstruktivnykh modelei ogranichennoi signatury”, Algebra i logika, 54:2 (2015), 163–192 | MR | Zbl
[11] Goncharov C. C., Nait Dzh., “Vychislimye strukturnye i antistrukturnye teoremy”, Algebra i logika, 41:6 (2002), 639–681 | MR | Zbl
[12] Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii struktur s dvumya otnosheniyami ekvivalentnosti”, Algebra i logika, 55:4 (2016), 465–477 | MR | Zbl
[13] Nurtazin A. T., Vychislimye klassy i algebraicheskie kriterii avtoustoichivosti, Dis. ... kand. fiz.-mat. nauk: 01.01.06, In-t matematiki i mekhaniki, Alma-Ata, 1974 | Zbl
[14] Downey R. G., Goncharov S. S., Kach A. M., Knight J. F., Kudinov O. V., Melnikov A. G., Turetsky D., “Decidability and computability of certain torsion-free abelian groups”, Notre Dame J. Formal Logic, 51:1 (2010), 85–96 | DOI | MR | Zbl
[15] Downey R. G., Kach A. M., Lempp S., Lewis-Pye A. E. M., Montalban A., Turetsky D. D., “The complexity of computable categoricity”, Adv. Math., 268:2 (2015), 423–466 | DOI | MR | Zbl
[16] Goncharov S. S., Lempp S., Solomon R. A., “The computable dimension of ordered abelian groups”, Adv. Math., 175:1 (2003), 102–143 | DOI | MR | Zbl
[17] Melnikov A. G., “Computable ordered abelian groups and fields”, Programs, Proofs, Processes, Lecture Notes in Comput. Sci., 6158, 2010, 321–330 | DOI | MR | Zbl
[18] Melnikov A. G., Ng K. M., “Computable torsion abelian groups”, Adv. Math., 325 (2018), 864–907 | DOI | MR | Zbl
[19] Soare R. I., Turing Computability. Theory and Applications, Springer-Verlag, Berlin, 2016 | MR | Zbl