The following pages link to (Q5518360):
Displayed 4 items.
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- Constructive transfinite number classes (Q5536630) (← links)
- A complete classification of the Δ₂¹-functions (Q5551156) (← links)
- A Hierarchy Based on a Type Two Object (Q5585408) (← links)