Numberings on Admissible Structures over Equivalence Relations | Sciact - Система учета научной деятельности ИМ СО РАН

Numberings on Admissible Structures over Equivalence Relations Научная публикация

Журнал

Lobachevskii Journal of Mathematics
ISSN: 1995-0802 , E-ISSN: 1818-9962

Вых. Данные

Год: 2024, Том: 45, Номер: 4, Страницы: 1833-1840 Страниц : 8 DOI: 10.1134/s1995080224601383

Ключевые слова

numberings, decidable numberings, positive numberings, negative numberings, computable numberings, admissible sets.

Авторы

Kalimullin I.Sh. ¹ , Puzarenko V.G. ^2,3

Организации

1	Lobachevskii Institute of Mathematics and Mechanics, Kazan Federal University
2	Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
3	Novosibirsk State University

Информация о финансировании (2)

1	Институт математики им. С.Л. Соболева СО РАН	FWNF-2022-0012
2	Российский научный фонд	23-21-00181

Thepapergives aseriesof examplesofadmissiblesets A in whichthe familyof all A-c.e. sets has neither negative, nor positive computable A-numberings. In particular, it is proved that for hereditarily finite superstructures over negative partners of equivalence relations the family of all Σ-subsets may have no negative computable numbering. An opposite result was established earlier for positive numberings and positive partners of equivalence relations [2, 4].

Kalimullin I.S. , Puzarenko V.G.
Numberings on Admissible Structures over Equivalence Relations
Lobachevskii Journal of Mathematics. 2024. V.45. N4. P.1833-1840. DOI: 10.1134/s1995080224601383 WOS Scopus РИНЦ OpenAlex

Поступила в редакцию:	20 янв. 2024 г.
Принята к публикации:	10 мар. 2024 г.
Опубликована в печати:	15 апр. 2024 г.
Опубликована online:	22 авг. 2024 г.

Web of science:	WOS:001422583700038
Scopus:	2-s2.0-85201832611
РИНЦ:	68640880
OpenAlex:	W4401810090

Пока нет цитирований