Pages that link to "Item:Q1840348"
From MaRDI portal
The following pages link to Konstruktion nichtrekursiver Funktionen (Q1840348):
Displaying 6 items.
- An example of general recursive well-ordering which is not primitive recursive (Q772781) (← links)
- Proof of a Conjecture of Routledge (Q3275828) (← links)
- On automorphisms of arbitrary mathematical systems (Q3712321) (← links)
- The theory of recursive functions, approaching its centennial (Q3946156) (← links)
- The Ackermann functions are not optimal, but by how much? (Q5190202) (← links)
- Nicht konstruktiv beweisbare Sätze der Analysis (Q5790901) (← links)
