RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Алгебра и логика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Алгебра и логика, 2005, том 44, номер 3, страницы 261–268 (Mi al110)  

Эта публикация цитируется в 9 научных статьях (всего в 9 статьях)

Об элементарных теориях полурешёток Роджерса

С. А. Бадаевa, С. С. Гончаровb, А. Сорбиc

a Казахский национальный университет им. аль-Фараби, механико-математический факультет
b Институт математики им. С. Л. Соболева СО РАН
c Dipartimento di Scienze Matematiche ed Informatiche Roberto Magari, Università degli Studi di Sienna

Аннотация: Доказывается существование для каждого уровня арифметической иерархии бесконечного числа семейств множеств с попарно различными элементарными теориями полурешёток Роджерса.

Ключевые слова: арифметическая иерархия, полурешётка Роджерса, элементарная теория

Полный текст: PDF файл (158 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Algebra and Logic, 2006, 44:3, 143–147

Реферативные базы данных:

УДК: 510.55
Поступило: 25.02.2003
Окончательный вариант: 12.07.2004

Образец цитирования: С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешёток Роджерса”, Алгебра и логика, 44:3 (2005), 261–268; Algebra and Logic, 44:3 (2006), 143–147

Цитирование в формате AMSBIB
\RBibitem{BadGonSor05}
\by С.~А.~Бадаев, С.~С.~Гончаров, А.~Сорби
\paper Об элементарных теориях полурешёток Роджерса
\jour Алгебра и логика
\yr 2005
\vol 44
\issue 3
\pages 261--268
\mathnet{http://mi.mathnet.ru/al110}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2170687}
\zmath{https://zbmath.org/?q=an:1106.03041}
\transl
\jour Algebra and Logic
\yr 2006
\vol 44
\issue 3
\pages 143--147
\crossref{https://doi.org/10.1007/s10469-005-0016-x}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-22344448658}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/al110
  • http://mi.mathnet.ru/rus/al/v44/i3/p261

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешёток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654  mathnet  mathscinet  zmath; S. A. Badaev, S. S. Goncharov, A. Sorbi, “Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy”, Algebra and Logic, 45:6 (2006), 361–370  crossref
    2. Badaev S.A., Talasbaeva Zh.T., “Computable numberings in the hierarchy of Ershov”, Mathematical Logic in Asia, 2006, 17–30  crossref  mathscinet  zmath  adsnasa  isi
    3. С. А. Бадаев, С. С. Гончаров, “Обобщённо вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569  mathnet  mathscinet; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364  crossref  isi
    4. С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62  mathnet; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536  crossref
    5. М. Х. Файзрахманов, “Универсальные вычислимые нумерации конечных классов семейств тотальных функций”, Изв. вузов. Матем., 2016, № 12, 96–100  mathnet; M. Kh. Faizrakhmanov, “Universal computable enumerations of finite classes of families of total functions”, Russian Math. (Iz. VUZ), 60:12 (2016), 79–83  crossref  isi
    6. М. Х. Файзрахманов, “Минимальные обобщенно вычислимые нумерации и высокие степени”, Сиб. матем. журн., 58:3 (2017), 710–716  mathnet  crossref  elib; M. Kh. Faizrahmanov, “Minimal generalized computable enumerations and high degrees”, Siberian Math. J., 58:3 (2017), 553–558  crossref  isi  elib
    7. С. А. Бадаев, А. А. Исахов, “Некоторые абсолютные свойства $A$-вычислимых нумераций”, Алгебра и логика, 57:4 (2018), 426–447  mathnet  crossref; S. A. Badaev, A. A. Issakhov, “Some absolute properties of $A$-computable numberings”, Algebra and Logic, 57:4 (2018), 275–288  crossref  isi
    8. С. С. Оспичев, “Фридберговы нумерации семейств частично вычислимых функционалов”, Сиб. электрон. матем. изв., 16 (2019), 331–339  mathnet  crossref
    9. Bazhenov N., Mustafa M., Yamaleev M., “Elementary Theories and Hereditary Undecidability For Semilattices of Numberings”, Arch. Math. Log., 58:3-4 (2019), 485–500  crossref  isi
  • Алгебра и логика Algebra and Logic
    Просмотров:
    Эта страница:270
    Полный текст:93
    Литература:48
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020