Existence of superposition bases in countable primitively recursively closed classes

DOI10.1007/BF01159899zbMath0637.03037MaRDI QIDQ1098839

Sergey S. Marchenkov

Publication date: 1986

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

many-place functionssuperposition basis

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Existence of infinite bases with respect to superposition in certain classes of one-place functions

Cites Work

• Hierarchies of Primitive Recursive Functions
• ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN
• Unnamed Item
• Unnamed Item

This page was built for publication: Existence of superposition bases in countable primitively recursively closed classes