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 22 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)
- Descriptive complexity of subsets of the space of finitely generated groups (Q2105658) (← links)
- Descriptive set theory, from Cantor to Wadge and beyond (Q2148861) (← links)
- Factoring Solovay-random extensions, with application to the reduction property (Q2220386) (← links)
- Computable numberings of families of infinite sets (Q2300737) (← links)
- Definable elements of definable Borel sets (Q2334907) (← links)
- On predicates expressible in the $1$-function quantifier forms in Kleene Hierarchy with free variables of type $2$ (Q3276700) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- Hyperarithmetical Sets (Q3305318) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy (Q5376616) (← 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)