Pages that link to "Item:Q3265770"
From MaRDI portal
The following pages link to Separation principles in the hierarchies of classical and effective descriptive set theory (Q3265770):
Displayed 13 items.
- Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic (Q598270) (← links)
- Kuratowski reduction in a \(\sigma \)-frame (Q639714) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Proof of a theorem of Lusin (Q1133540) (← links)
- Axiom of comparable choice and uniformizability of projective classes (Q1136759) (← links)
- On an effective hierarchy of communicating processes: Separation principle and testing (Q1269918) (← links)
- Topological complexity of graphs and their spanning trees (Q1804745) (← links)
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$ (Q3276700) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- The axiom of determinateness and reduction principles in the analytical hierarchy (Q5551456) (← links)
- Some results in the effective descriptive set theory (Q5567856) (← links)
- Hierarchies of Effective Descriptive Set Theory (Q5585409) (← links)