The following pages link to (Q5805955):
Displaying 6 items.
- Rekursive reelle Zahlen (Q767909) (← links)
- An enumeration of the primitive recursive functions without repetition (Q775448) (← links)
- Divergence bounded computable real numbers (Q817855) (← links)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM (Q4632541) (← links)
- Primitive Recursiveness of Real Numbers under Different Representations (Q4921448) (← links)
- Primitive recursive real numbers (Q5307606) (← links)
