Pages that link to "Item:Q5585409"
From MaRDI portal
The following pages link to Hierarchies of Effective Descriptive Set Theory (Q5585409):
Displayed 4 items.
- Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra (Q424551) (← links)
- Modal functions for concise definition of state machines and products (Q1183435) (← links)
- A comparison of the indices arising in the transfinite iteration of functions (Q1394223) (← links)
- Representability in some systems of second order arithmetic (Q2545877) (← links)