Existence of superposition bases in countable primitive-recursively closed classes of one-place functions

DOI10.1007/BF01145429zbMath0455.03017MaRDI QIDQ1149945

Sergey S. Marchenkov

Publication date: 1980

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

zbMATH Keywords

countable basisprimitive recursive closure

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN

This page was built for publication: Existence of superposition bases in countable primitive-recursively closed classes of one-place functions