On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions

DOI10.18255/1818-1015-2020-3-304-315MaRDI QIDQ5060069zbMATH OpenOpenAlexFDO

Authors V. A. Sokolov

Publication date 17 January 2023

Published in Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/mais717

zbMATH Keywords

basisiterationalgebrassuperpositionidentitiesrecursive functionsfunction inversion

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Publication:4946107
• On the Identities of Certain Algebras
• On the Algebraic Structure of Primitive Recursive Functions
• scientific article; zbMATH DE number 4019039
• On maximal subalgebras of the algebras of unary recursive functions

Cites work

• Deep learning

Cited in

(3)

• On a theorem of Günter Asser
• On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
• scientific article; zbMATH DE number 1421081 (Why is no real title available?)

Describes a project that uses

Uses Software

• TensorFlow

This page was built for publication: On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5060069)