Konstruktion nichtrekursiver Funktionen

DOI10.1007/BF01472200zbMATH Open0011.00303MaRDI QIDQ1840348FDOQ1840348

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)