Реферат: 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.
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 Jul 2025