The Existence of Primitive Recursive Structures | Sciact - Система учета научной деятельности ИМ СО РАН

The Existence of Primitive Recursive Structures Научная публикация

Конференция

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations: 21st Conference on Computability in Europe (CiE 2025), Lisbon, Portugal
14-18 июл. 2025 , Лиссабон

Сборник

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
Сборник, Springer Cham. 2025. 512 c. ISBN 978-3-031-95907-3.

Вых. Данные

Год: 2025, Том: 15764, Страницы: 119-132 Страниц : 14 DOI: 10.1007/978-3-031-95908-0_9

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

computability, computable structure, punctual structure, primitive recurs

Авторы

Alaev Pavel E. ^1,2

Организации

1	Novosibirsk State University, Novosibirsk, 630090, Russia
2	Sobolev Institute of Mathematics, pr. Koptuga 4, Novosibirsk, 630090, Russia

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

Российский научный фонд

23-11-00170

We suggest a general, relatively simple criterion for the existence of a primitive recursive (p.r.) or punctual presentation of a given structure. As an example, we prove that every computable Abelian group with a computably enumerable linear basis has a p.r. presentation. A series of other examples is found.

Alaev P.E.
The Existence of Primitive Recursive Structures
В сборнике Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. – Springer Cham., 2025. – Т.15764. – C.119-132. – ISBN 978-3-031-95907-3. DOI: 10.1007/978-3-031-95908-0_9 OpenAlex

Опубликована online:

20 июн. 2025 г.

OpenAlex:

W4411458813

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