Разрешимая категоричность почти простых моделей сигнатуры графов
Matematičeskie trudy, Tome 24 (2021) no. 1, pp. 117-141.

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

@article{MT_2021_24_1_a4,
     author = {M. I. Marchuk},
     title = {{\CYRR}{\cyra}{\cyrz}{\cyrr}{\cyre}{\cyrsh}{\cyri}{\cyrm}{\cyra}{\cyrya} {\cyrk}{\cyra}{\cyrt}{\cyre}{\cyrg}{\cyro}{\cyrr}{\cyri}{\cyrch}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyrsftsn} {\cyrp}{\cyro}{\cyrch}{\cyrt}{\cyri} {\cyrp}{\cyrr}{\cyro}{\cyrs}{\cyrt}{\cyrery}{\cyrh} {\cyrm}{\cyro}{\cyrd}{\cyre}{\cyrl}{\cyre}{\cyrishrt} {\cyrs}{\cyri}{\cyrg}{\cyrn}{\cyra}{\cyrt}{\cyru}{\cyrr}{\cyrery} {\cyrg}{\cyrr}{\cyra}{\cyrf}{\cyro}{\cyrv}},
     journal = {Matemati\v{c}eskie trudy},
     pages = {117--141},
     publisher = {mathdoc},
     volume = {24},
     number = {1},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MT_2021_24_1_a4/}
}
TY  - JOUR
AU  - M. I. Marchuk
TI  - Разрешимая категоричность почти простых моделей сигнатуры графов
JO  - Matematičeskie trudy
PY  - 2021
SP  - 117
EP  - 141
VL  - 24
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_2021_24_1_a4/
LA  - ru
ID  - MT_2021_24_1_a4
ER  - 
%0 Journal Article
%A M. I. Marchuk
%T Разрешимая категоричность почти простых моделей сигнатуры графов
%J Matematičeskie trudy
%D 2021
%P 117-141
%V 24
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_2021_24_1_a4/
%G ru
%F MT_2021_24_1_a4
M. I. Marchuk. Разрешимая категоричность почти простых моделей сигнатуры графов. Matematičeskie trudy, Tome 24 (2021) no. 1, pp. 117-141. http://geodesic.mathdoc.fr/item/MT_2021_24_1_a4/

[1] Bazhenov N. A., “Spektry avtoustoichivosti bulevykh algebr”, Algebra i logika, 53:6 (2014), 764–769 | MR

[2] Bazhenov N. A., “O stepenyakh avtoustoichivosti otnositelno silnykh konstruktivizatsii dlya bulevykh algebr”, Algebra i logika, 55:2 (2016), 133–155 | MR | Zbl

[3] Bazhenov N. A., Kalimullin I. Sh., Yamaleev M. M., “O strogikh i nestrogikh stepenyakh kategorichnosti”, Algebra i logika, 55:2 (2016), 257–263 | MR | Zbl

[4] Bazhenov N. A., Marchuk M. I., “Stepeni avtoustoichivosti otnositelno silnykh konstruktivizatsii grafov”, Sib. matem. zhurn., 59:4 (2018), 719–735 | MR | Zbl

[5] Goncharov S. S., “Problema chisla neavtoekvivalentnykh konstruktivizatsii”, Algebra i logika, 19:6 (1980), 621–639 | MR

[6] Goncharov S. S., “Avtoustoichivost prostykh modelei otnositelno silnykh konstruktivizatsii”, Algebra i logika, 48:6 (2009), 729–740 | MR | Zbl

[7] Goncharov S. S., “Ob avtoustoichivosti otnositelno silnykh konstruktivizatsii pochti prostykh modelei”, UMN, 65:5(395) (2010), 107–142 | MR | Zbl

[8] Goncharov S. S., “Stepeni avtoustoichivosti otnositelno silnykh konstruktivizatsii”, Tr. MIAN, 274, 2011, 119–129 | Zbl

[9] S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “Indeksnoe mnozhestvo avtoustoichivykh otnositelno silnykh konstruktivizatsii lineinykh poryadkov”, Vestn. NGU. Ser. matem., mekh., informat., 15:3 (2015), 51–60 | MR | Zbl

[10] Goncharov S. S., Bazhenov N. A., Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii konstruktivnykh modelei estestvennykh klassov”, Dokl. RAN, 464:1 (2015), 12–14 | Zbl

[11] 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

[12] 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

[13] 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

[14] 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

[15] Goncharov S. S., Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii konstruktivnykh modelei netrivialnykh signatur”, Dokl. RAN, 461:2 (2015), 140–142 | Zbl

[16] Keisler G. Kh., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977

[17] Marchuk M. I., “Indeksnye mnozhestva avtoustoichivykh otnositelno silnykh konstruktivizatsii struktur s dvumya otnosheniyami ekvivalentnosti”, Algebra i logika, 55:4 (2016), 465–477 | MR | Zbl

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

[19] Pavlovskii E. N., “Indeksnye mnozhestva prostykh modelei”, Sib. elektron. matem. izv., 5 (2008), 200–210 | MR

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

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

[22] Fokina E. B., Goncharov S. S., Kharizanova V., Kudinov O. V., Turetski D., “Indeksnye mnozhestva $n$-razreshimykh struktur, kategorichnykh otnositelno $m$-razreshimykh predstavlenii”, Algebra i logika, 54:4 (2015), 520–528 | MR | Zbl

[23] Bazhenov N., “A note on effective categoricity for linear orderings”, Theory and Applications of Models of Computation, Lecture Notes Comput. Sci., 10185, eds. Gopal T. V. et al., Springer, Cham, 2017, 85–96 | DOI | MR | Zbl

[24] Bazhenov N., “Autostability spectra for decidable structures”, Math. Structures Comput. Sci., 28:3 (2018), 392–411 | DOI | MR

[25] Csima B. F., Franklin J. N. Y., Shore R. A., “Degrees of categoricity and the hyperarithmetic hierarchy”, Notre Dame J. Formal Logic, 54:2 (2013), 215–231 | DOI | MR | Zbl

[26] Fokina E., Frolov A., Kalimullin I., “Categoricity spectra for rigid structures”, Notre Dame J. Formal Logic, 57:1 (2016), 45–57 | DOI | MR | Zbl

[27] Fokina E. B., Kalimullin I., Miller R., “Degrees of categoricity of computable structures”, Arch. Math. Logic, 49:1 (2010), 51–67 | DOI | MR | Zbl

[28] Goncharov S. S., “Computability and computable models”, Mathematical Problems from Applied Logic, v. II, eds. D. M. Gabbay, S. S. Goncharov, M. Zakharyaschev, Springer, New York, 2006, 99–216 | MR

[29] Goncharov S., Harizanov V., Miller R., “On decidable categoricity and almost prime models”, Siberian Adv. Math., 30:3 (2020), 200–212 | DOI | MR | Zbl

[30] Miller R., Shlapentokh A., “Computable categoricity for algebraic fields with splitting algorithms”, Trans. Amer. Math. Soc., 367:6 (2015), 3955–3980 | DOI | MR | Zbl