Hierarchien primitiv-rekursiver Funktionen im Transfiniten
From MaRDI portal
Publication:5655351
DOI10.1007/BF01973617zbMath0244.02014OpenAlexW2053056060MaRDI QIDQ5655351
Publication date: 1970
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137839
Recursive functions and relations, subrecursive hierarchies (03D20) Set theory (03E99) Hierarchies of computability and definability (03D55)
Cites Work