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

DOI10.18255/1818-1015-2020-3-304-315MaRDI QIDQ5060082zbMATH 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/mais731

zbMATH Keywords

algebrabasisfunction inversionidentityiterationrecursive functionsuperposition

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
• Corrigendum to ``Dynamical Gröbner bases and to ``Dynamical Gröbner bases over Dedekind rings
• Correction to ``On algebras satisfying symmetric identities
• Corrigendum to: ``Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
• scientific article; zbMATH DE number 3235367
• Correction to “Strong Reducibilities of Enumerations and Partial Enumerated Algebras”
• Correction to “A finite basis theorem for difference-term varieties with a finite residual bound”
• scientific article; zbMATH DE number 3645165
• Corrigendum to ``On some multiplicity and mixed multiplicity formulas
• Corrigendum to ``Pólya-Radoux type results for some arithmetical functions

Cites work

• CONSTRUCTIVE ALGEBRAS I
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• General Recursive Functions
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• Primitive recursive functions

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 Q5060082)