Konstruktion nichtrekursiver Funktionen

DOI10.1007/BF01472200zbMath0011.00303MaRDI QIDQ1840348

R. Politzer

Publication date: 1935

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/159756

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (6)

On automorphisms of arbitrary mathematical systems ⋮ The Ackermann functions are not optimal, but by how much? ⋮ Nicht konstruktiv beweisbare Sätze der Analysis ⋮ An example of general recursive well-ordering which is not primitive recursive ⋮ Proof of a Conjecture of Routledge ⋮ The theory of recursive functions, approaching its centennial

Cites Work

• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion

This page was built for publication: Konstruktion nichtrekursiver Funktionen