The following pages link to (Q5343333):
Displaying 7 items.
- Fine hierarchies via Priestley duality (Q424549) (← links)
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Borel ideals vs. Borel sets of countable relations and trees (Q1120573) (← links)
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
