Negative Results on the Reduction of the Recursion Scheme

DOI10.1002/malq.19880340403zbMath0656.03027OpenAlexW1985757818MaRDI QIDQ3803098

Benedetto Intrigila

Publication date: 1988

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19880340403

zbMATH Keywords

primitive recursive functionsrecursion scheme

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: Negative Results on the Reduction of the Recursion Scheme