The Existence of Primitive Recursive Structures - Conference attendances

The Existence of Primitive Recursive Structures Conference attendances

Language

Английский

Participant type

Секционный

Conference

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

Authors

Alaev P. ^1,2

Affiliations

1	Sobolev Institute of Mathematics
2	Novosibirsk State University

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