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

Алгебра и логика

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Общая информация
	Последний выпуск
	Архив
	Импакт-фактор
	Правила для авторов

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

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

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

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

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

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

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

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

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

PDF полного текста (158 kB) Список цитирования (15)

Список литературы:

PDF

HTML

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

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

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

Англоязычная версия:
Algebra and Logic, 2006, Volume 44, Issue 3, Pages 143–147
DOI: https://doi.org/10.1007/s10469-005-0016-x

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

УДК: 510.55

Образец цитирования: С. А. Бадаев, С. С. Гончаров, А. Сорби, “Об элементарных теориях полурешёток Роджерса”, Алгебра и логика, 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://mathscinet.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{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-22344448658}

Образцы ссылок на эту страницу:

https://www.mathnet.ru/rus/al110

https://www.mathnet.ru/rus/al/v44/i3/p261

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

Nikolay Bazhenov, Manat Mustafa, Anvar Nurakunov, “On Concept Lattices for Numberings”, Tsinghua Sci. Technol., 29:6 (2024), 1642
М. Х. Файзрахманов, “Эффективно бесконечные классы нумераций вычислимых семейств действительных чисел”, Изв. вузов. Матем., 2023, № 5, 96–100
M. Kh. Faizrahmanov, “Effectively Infinite Classes of Numberings of Computable Families of Reals”, Russ Math., 67:5 (2023), 72
Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva, “Rogers semilattices of limitwise monotonic numberings”, Mathematical Logic Qtrly, 68:2 (2022), 213
Bazhenov N.A., Mustafa M., Tleuliyeva Zh., “Theories of Rogers Semilattices of Analytical Numberings”, Lobachevskii J. Math., 42:4, SI (2021), 701–708
С. С. Оспичев, “Фридберговы нумерации семейств частично вычислимых функционалов”, Сиб. электрон. матем. изв., 16 (2019), 331–339
Bazhenov N., Mustafa M., Yamaleev M., “Elementary Theories and Hereditary Undecidability For Semilattices of Numberings”, Arch. Math. Log., 58:3-4 (2019), 485–500
С. А. Бадаев, А. А. Исахов, “Некоторые абсолютные свойства $A$ -вычислимых нумераций”, Алгебра и логика, 57:4 (2018), 426–447 ; S. A. Badaev, A. A. Issakhov, “Some absolute properties of $A$ -computable numberings”, Algebra and Logic, 57:4 (2018), 275–288
М. Х. Файзрахманов, “Минимальные обобщенно вычислимые нумерации и высокие степени”, Сиб. матем. журн., 58:3 (2017), 710–716 ; M. Kh. Faizrahmanov, “Minimal generalized computable enumerations and high degrees”, Siberian Math. J., 58:3 (2017), 553–558
М. Х. Файзрахманов, “Универсальные вычислимые нумерации конечных классов семейств тотальных функций”, Изв. вузов. Матем., 2016, № 12, 96–100 ; M. Kh. Faizrakhmanov, “Universal computable enumerations of finite classes of families of total functions”, Russian Math. (Iz. VUZ), 60:12 (2016), 79–83
С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62 ; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536
С. А. Бадаев, С. С. Гончаров, “Обобщённо вычислимые универсальные нумерации”, Алгебра и логика, 53:5 (2014), 555–569 ; S. A. Badaev, S. S. Goncharov, “Generalized computable universal numberings”, Algebra and Logic, 53:5 (2014), 355–364
Serikzhan Badaev, Sergey Goncharov, New Computational Paradigms, 2008, 19
С. А. Бадаев, С. С. Гончаров, А. Сорби, “Типы изоморфизмов полурешёток Роджерса семейств из различных уровней арифметической иерархии”, Алгебра и логика, 45:6 (2006), 637–654 ; 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
Badaev S.A., Talasbaeva Zh.T., “Computable numberings in the hierarchy of Ershov”, Mathematical Logic in Asia, 2006, 17–30

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

Статистика просмотров:
Страница аннотации:	464
PDF полного текста:	133
Список литературы:	81
Первая страница:	1

Что такое QR-код?

Обратная связь:
math-net2025_04@mi-ras.ru

Пользовательское соглашение

Регистрация посетителей портала

Логотипы