Konstruktion nichtrekursiver Funktionen

DOI10.1007/BF01472200MaRDI QIDQ1840348zbMATH OpenFDO

Authors 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)

Cites work

• Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion

Cited in

(6)

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

This page was built for publication: Konstruktion nichtrekursiver Funktionen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840348)