Der Iterierte Limes Rekursiver Funktionen und Die Arithmetische Hierarchie

DOI10.1002/malq.19770231603zbMath0382.03036OpenAlexW2080693121WikidataQ60574931 ScholiaQ60574931MaRDI QIDQ4161317

Bernhard G. Goetze, Reinhard Klette, D. Gillo

Publication date: 1977

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

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)

Related Items

Research in the theory of inductive inference by GDR mathematicians - A survey