Ю. Л. Ершов, И. А. Лавров, А. Д. Тайманов, М. А. Тайцлин, “Элементарные теории”, УМН, 20:4(124) (1965), 37–108; Russian Math. Surveys, 20:4 (1965), 35

Эта публикация цитируется в следующих 109 статьяx:

V. A. Molchanov, R. A. Farakhutdinov, “Relatively elementary definability of the class of universal partial graphic semiautomata in the class of semigroups”, jour, 2:4 (2025), 103
Stanislav O Speranski, “An 'elementary' perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024
Brian Tyrrell, “Finite undecidability in PAC and PRC fields”, Annals of Pure and Applied Logic, 175:10 (2024), 103465
Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024
Birzhan S Kalmurzayev, Nikolay A Bazhenov, Alibek M Iskakov, “Undecidability of the degree structure of primitive recursive m-reducibility”, Journal of Logic and Computation, 2024
А. В. Ильев, “Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков”, ПДМ, 2024, № 66, 14–29
С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12 ; S. O. Speranski, “Elementary invariants for quantified probability logic”, Dokl. Math., 107:2 (2023), 93–96
BRIAN TYRRELL, “FINITE UNDECIDABILITY IN NIP FIELDS”, J. symb. log., 2023, 1
I. V. Latkin, “The recognition complexity of decidable theories”, Eurasian Math. J., 13:1 (2022), 44–68
Nikolay Bazhenov, Hsing‐Chien Tsai, “On the effective universality of mereological theories”, Mathematical Logic Qtrly, 68:1 (2022), 48
М. Рыбаков, “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных”, Докл. РАН. Матем., информ., проц. упр., 507 (2022), 61–65
М. Рыбаков, “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных”, Докл. РАН. Матем., информ., проц. упр., 507 (2022), 61–65 ; M. Rybakov, “Computational complexity of theories of a binary predicate with a small number of variables”, Dokl. Math., 106:3 (2022), 458–
B. S. Baizhanov, B. Sh. Kulpeshov, T. S. Zambarnaya, “A.D. Taimanov and model theory in Kazakhstan”, Сиб. электрон. матем. изв., 17 (2020), 1–58
R Ramanujam, Ramanathan S Thinniyam, “Definability in first-order theories of graph orderings ⋆”, Journal of Logic and Computation, 30:1 (2020), 403
В. И. Урсу, “Об одном соответствии между коммутативными кольцами и йордановыми лупами”, Алгебра и логика, 58:6 (2019), 741–768 ; V. I. Ursu, “A correspondence between commutative rings and Jordan loops”, Algebra and Logic, 58:6 (2020), 494–513
Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev, “Elementary theories and hereditary undecidability for semilattices of numberings”, Arch. Math. Logic, 58:3-4 (2019), 485
С. И. Адян, “Об исследованиях Геннадия Семёновича Маканина по алгоритмическим вопросам теории групп и полугрупп”, УМН, 73:3(441) (2018), 183–196 ; S. I. Adian, “On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups”, Russian Math. Surveys, 73:3 (2018), 553–568
И. Ш. Калимуллин, В. Л. Селиванов, А. Н. Фролов, “Спектры степеней структур”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 158, ВИНИТИ РАН, М., 2018, 23–39 ; I. Sh. Kalimullin, V. L. Selivanov, A. N. Frolov, “Degree spectra of structures”, J. Math. Sci. (N. Y.), 256:2 (2021), 143–159
А. В. Ильев, “Разрешимость универсальных теорий и аксиоматизируемость наследственных классов графов”, Тр. ИММ УрО РАН, 22, № 1, 2016, 100–111
А. В. Ильев, “Об аксиоматизируемости наследственных классов графов и матроидов”, Сиб. электрон. матем. изв., 13 (2016), 137–147