An introduction to hyperarithmetical functions

DOI10.2307/2270774zbMath0153.00801OpenAlexW2121244661MaRDI QIDQ5532534

Julia Robinson

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270774

zbMATH Keywords

mathematical logic

Related Items (2)

Recursive Functions of One Variable ⋮ Representing hyper-arithmetical sets by equations over sets of integers

Cites Work

• Hierarchies of number-theoretic predicates

This page was built for publication: An introduction to hyperarithmetical functions