Hierarchies of number-theoretic functions I, II: A correction
From MaRDI portal
Publication:5643973
DOI10.1007/BF01991855zbMath0235.02038WikidataQ59409090 ScholiaQ59409090MaRDI QIDQ5643973
Publication date: 1971
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137832
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D55: Hierarchies of computability and definability
Related Items