RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика

Алгебра и логика, 2000, том 39, номер 2, страницы 170–197 (Mi al272)

О вычислимости над моделями разрешимых теорий
В. Г. Пузаренко

Эта публикация цитируется в следующих статьяx:
  1. I. Sh. Kalimullin, V. G. Puzarenko, “Numberings on Admissible Structures over Equivalence Relations”, Lobachevskii J Math, 45:4 (2024), 1833  crossref
  2. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Негативные нумерации в допустимых множествах. I”, Матем. тр., 26:1 (2023), 47–92  mathnet  crossref  elib; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Negative numberings in admissible sets. I”, Siberian Adv. Math., 33:4 (2023), 293–321  crossref
  3. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Позитивные нумерации в допустимых множествах”, Сиб. матем. журн., 61:3 (2020), 607–621  mathnet  crossref; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Positive numberings in admissible sets”, Siberian Math. J., 61:3 (2020), 478–489  crossref  isi  elib
  4. Д. Х. Зайнетдинов, “Предельно монотонная сводимость множеств и $\Sigma$-определимость абелевых групп”, Изв. вузов. Матем., 2019, № 2, 21–28  mathnet  crossref; D. Kh. Zainetdinov, “Limitwise monotonic reducibility of sets and $\Sigma$-definability of abelian groups”, Russian Math. (Iz. VUZ), 63:2 (2019), 18–24  crossref  isi
  5. И. Ш. Калимуллин, В. Г. Пузаренко, М. Х. Файзрахманов, “Частичные разрешимые представления в гиперарифметике”, Сиб. матем. журн., 60:3 (2019), 599–609  mathnet  crossref; I. Sh. Kalimullin, V. G. Puzarenko, M. Kh. Faizrahmanov, “Partial decidable presentations in hyperarithmetic”, Siberian Math. J., 60:3 (2019), 464–471  crossref  isi  elib
  6. Р. Р. Авдеев, В. Г. Пузаренко, “Вычислимая структура с нестандартной вычислимостью”, Матем. тр., 21:2 (2018), 3–60  mathnet  crossref; R. R. Avdeev, V. G. Puzarenko, “A computable structure with non-standard computability”, Siberian Adv. Math., 29:2 (2019), 77–115  crossref
  7. Alexey Stukachev, Effective Mathematics of the Uncountable, 2013, 164  crossref
  8. В. Г. Пузаренко, “Дескриптивные свойства на допустимых множествах”, Алгебра и логика, 49:2 (2010), 238–262  mathnet  mathscinet  zmath; V. G. Puzarenko, “Descriptive properties on admissible sets”, Algebra and Logic, 49:2 (2010), 160–176  crossref  isi
  9. В. Г. Пузаренко, “Об одной полурешётке нумераций. II”, Алгебра и логика, 49:4 (2010), 498–519  mathnet  mathscinet  zmath; V. G. Puzarenko, “A semilattice of numberings. II”, Algebra and Logic, 49:4 (2010), 340–353  crossref  isi
  10. В. Г. Пузаренко, “Об одной сводимости на допустимых множествах”, Сиб. матем. журн., 50:2 (2009), 415–429  mathnet  mathscinet; V. G. Puzarenko, “A certain reducibility on admissible sets”, Siberian Math. J., 50:2 (2009), 330–340  crossref  isi
  11. В. Г. Пузаренко, “Об одной полурешетке нумераций”, Матем. тр., 12:2 (2009), 170–209  mathnet  mathscinet; V. G. Puzarenko, “On a semilattice of numberings”, Siberian Adv. Math., 20:2 (2010), 128–154  crossref
  12. А. Н. Хисамиев, “О $\Sigma$-подмножествах натуральных чисел над абелевыми группами”, Сиб. матем. журн., 47:3 (2006), 695–706  mathnet  mathscinet  zmath; A. N. Khisamiev, “On $\Sigma$-subsets of naturals over abelian groups”, Siberian Math. J., 47:3 (2006), 574–583  crossref  isi
  13. В. Г. Пузаренко, “К вычислимости на специальных моделях”, Сиб. матем. журн., 46:1 (2005), 185–208  mathnet  mathscinet  zmath; V. G. Puzarenko, “Computability in special models”, Siberian Math. J., 46:1 (2005), 148–165  crossref  isi
  14. А. Н. Хисамиев, “О верхней полурешетке Ершова $\mathfrak{L}_E$”, Сиб. матем. журн., 45:1 (2004), 211–228  mathnet  mathscinet  zmath; A. N. Khisamiev, “On the Ershov upper semilattice $\mathfrak{L}_E$”, Siberian Math. J., 45:1 (2004), 173–187  crossref  isi
  15. А. С. Морозов, В. Г. Пузаренко, “О $\Sigma$-подмножествах натуральных чисел”, Алгебра и логика, 43:3 (2004), 291–320  mathnet  mathscinet  zmath; A. S. Morozov, V. G. Puzarenko, “$\Sigma$-Subsets of Natural Numbers”, Algebra and Logic, 43:3 (2004), 162–178  crossref
  16. И. Ш. Калимуллин, В. Г. Пузаренко, “О принципах вычислимости на допустимых множествах”, Матем. тр., 7:2 (2004), 35–71  mathnet  mathscinet  zmath; I. Sh. Kalimullin, V. G. Puzarenko, “Computability Principles on Admissible Sets”, Siberian Adv. Math., 15:4 (2005), 1–33
  17. В. Г. Пузаренко, “О теории моделей на наследственно конечных надстройках”, Алгебра и логика, 41:2 (2002), 199–222  mathnet  mathscinet  zmath; V. G. Puzarenko, “Model Theory for Hereditarily Finite Superstructures”, Algebra and Logic, 41:2 (2002), 111–123  crossref
  18. В. Г. Пузаренко, “О разрешимых вычислимых $\mathbb A$-нумерациях”, Алгебра и логика, 41:5 (2002), 568–584  mathnet  mathscinet  zmath; V. G. Puzarenko, “Decidable Computable $\mathbb A$-Numberings”, Algebra and Logic, 41:5 (2002), 314–322  crossref


© МИАН, 2025