Hierarchies of number-theoretic functions I, II: A correction

DOI10.1007/BF01991855zbMath0235.02038WikidataQ59409090 ScholiaQ59409090MaRDI QIDQ5643973

Martin Löb, Stanley S. Wainer

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

Mathematics Subject Classification ID

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03D55: Hierarchies of computability and definability

Related Items

Long finite sequences