The following pages link to Descriptive set theory (Q1139038):
Displaying 50 items.
- On approximate and algebraic computability over the real numbers (Q1292404) (← links)
- Borel equivalence relations induced by actions of the symmetric group (Q1295370) (← links)
- Is there a set of reals not in \(K(\mathbb{R})\)? (Q1295373) (← links)
- Applications of cut-free infinitary derivations to generalized recursion theory (Q1295406) (← links)
- Simply connected compact subsets of the plane (Q1306867) (← links)
- An application of Shoenfield's absoluteness theorem to the theory of uniform distribution (Q1314862) (← links)
- Some descriptive-set-theoretical problems in complexity theory (Q1328888) (← links)
- Topology and descriptive set theory (Q1332843) (← links)
- Computational depth and reducibility (Q1334655) (← links)
- Borel measurable selections of Paretian utility functions (Q1340082) (← links)
- On Borel ideals (Q1341318) (← links)
- Large cardinal axioms and independence: The continuum problem revisited (Q1345647) (← links)
- Is Gold-Putnam diagonalization complete? (Q1346214) (← links)
- Mouse sets (Q1364547) (← links)
- Narrow coverings of \(\omega\)-ary product spaces (Q1372156) (← links)
- Ambiguity in omega context free languages (Q1399989) (← links)
- A hierarchy of deterministic context-free \(\omega\)-languages. (Q1401159) (← links)
- Borel hierarchy and omega context free languages. (Q1401165) (← links)
- Equivalence between Wadge and Lipschitz determinacy (Q1408857) (← links)
- Distinguished trees, double-trees and lifting theorems (Q1417111) (← links)
- Uncomputability: The problem of induction internalized (Q1434378) (← links)
- Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205) (← links)
- The space of composants of an indecomposable continuum (Q1599835) (← links)
- The core model for almost linear iterations (Q1602852) (← links)
- Monadic second-order logic on tree-like structures (Q1606130) (← links)
- Effective metric spaces and representations of the reals. (Q1607294) (← links)
- On index of total boundedness of (strictly) \(o\)-bounded groups (Q1612187) (← links)
- On the classification of first order Gödel logics (Q1616771) (← links)
- Definability and almost disjoint families (Q1644959) (← links)
- Coding and definability in computable structures (Q1782235) (← links)
- On disjoint Borel uniformizations (Q1805831) (← links)
- Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\) (Q1806265) (← links)
- Some applications of positive formulas in descriptive set theory and logic (Q1812904) (← links)
- Turing determinacy and the continuum hypothesis (Q1824617) (← links)
- On omega context free languages which are Borel sets of infinite rank. (Q1874398) (← links)
- Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations (Q1885034) (← links)
- The dimensions of individual strings and sequences (Q1887139) (← links)
- The real core model and its scales (Q1892098) (← links)
- Projectively well-ordered inner models (Q1892942) (← links)
- The consistency strength of projective absoluteness (Q1896614) (← links)
- Large cardinals and definable counterexamples to the continuum hypothesis (Q1902975) (← links)
- \(\Pi_ 1^ 1\) wellfounded relations (Q1903130) (← links)
- Compact covering and game determinacy (Q1910715) (← links)
- Observations about Scott and Karp trees (Q1919521) (← links)
- \(\Pi_ 2^ 1\) Wadge degrees (Q1919526) (← links)
- Polynomial games and determinacy (Q1919550) (← links)
- On the time complexity of partial real functions (Q1977153) (← links)
- Projective uniformization revisited (Q1977487) (← links)
- Randomising realizability (Q2117768) (← links)
- Parameterized games of perfect information (Q2177793) (← links)