On maximal subalgebras of the algebras of unary recursive functions
From MaRDI portal
Publication:2959186
DOI10.1134/S199047891603008XzbMath1374.03027MaRDI QIDQ2959186
Publication date: 9 February 2017
Published in: Journal of Applied and Industrial Mathematics (Search for Journal in Brave)
Subalgebras, congruence relations (08A30) Recursive functions and relations, subrecursive hierarchies (03D20) Unary algebras (08A60) Hierarchies of computability and definability (03D55)
Related Items (2)
On the operations of bounded suffix summation and multiplication ⋮ Completeness criterion in class of exponential-polynomial functions
Cites Work
- Unnamed Item
- Unnamed Item
- A method for constructing maximal subalgebras of algebras of general recursive functions
- Classes of algebras of primitive recursive functions
- On primitive recursive functions of a single argument
- Classes of Predictably Computable Functions
- Maximal subalgebras of recursive function algebras
This page was built for publication: On maximal subalgebras of the algebras of unary recursive functions