A plus-1 theorem for subsections

DOI10.1007/BF01620759zbMath0662.03043OpenAlexW2038953565MaRDI QIDQ1113897

Stanley S. Wainer

Publication date: 1988

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01620759

zbMATH Keywords

analogue of Sacks' plus-1 theorem for subrecursive hierarchiesGödel primitive recursive

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Higher-type and set recursion theory (03D65) Hierarchies of computability and definability (03D55)

Cites Work

• A hierarchy for the 1-section of any type two object
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A plus-1 theorem for subsections