The following pages link to Descriptive set theory (Q1139038):
Displayed 50 items.
- Big vee: the story of a function, an algorithm, and three mathematical worlds (Q2431008) (← links)
- On the topological complexity of \(\omega\)-languages of non-deterministic Petri nets (Q2446063) (← links)
- The distribution of ITRM-recognizable reals (Q2453067) (← links)
- Generalized doubling meets Poincaré (Q2459946) (← links)
- An infinite-game semantics for well-founded negation in logic programming (Q2474440) (← links)
- Bounding lemmata for non-deterministic halting times of transfinite Turing machines (Q2482464) (← links)
- A random set characterization of possibility measures (Q2486016) (← links)
- Two simple sets that are not positively Borel (Q2488272) (← links)
- A global wellordering of norms defined via Blackwell games (Q2490425) (← links)
- Codings of separable compact subsets of the first Baire class (Q2501537) (← links)
- Canonical structure in the universe of set theory. II. (Q2503395) (← links)
- Borel extractions of converging sequences in compact sets of Borel functions (Q2518765) (← links)
- On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms (Q2568460) (← links)
- Bounds on Scott rank for various nonelementary classes (Q2639058) (← links)
- An extension of Borel determinacy (Q2640595) (← links)
- Borel complexity of the space of probability measures (Q2719020) (← links)
- The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) (← links)
- The weak square property (Q2747708) (← links)
- Supercompactness within the projective hierarchy (Q2747709) (← links)
- Some dichotomy theorems for isomorphism relations of countable models (Q2747727) (← links)
- A universal coanalytic linear ordering (Q2750870) (← links)
- Specker’s theorem for Nöbeling’s group (Q2781322) (← links)
- Determinacy and weakly Ramsey sets in Banach spaces (Q2781363) (← links)
- Locally finite ω-languages and effective analytic sets have the same topological complexity (Q2827947) (← links)
- Descriptive inner model theory (Q2837761) (← links)
- Forcing, games and families of closed sets (Q2841342) (← links)
- Ideal games and Ramsey sets (Q2845042) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract) (Q2946357) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- $$\Sigma _{1}^{1}$$ in Every Real in a $$\Sigma _{1}^{1}$$ Class of Reals Is $$\Sigma _{1}^{1}$$ (Q2970972) (← links)
- DESCRIPTIONS AND CARDINALS BELOW (Q2976330) (← links)
- ON THE NON-ENUMERABILITY OF <i>L</i> (Q2976338) (← links)
- Hypermachines (Q3011123) (← links)
- Determinacy in strong cardinal models (Q3011128) (← links)
- 𝐴𝐷 and the very fine structure of 𝐿(ℝ) (Q3032250) (← links)
- A co-analytic maximal set of orthogonal measures (Q3066801) (← links)
- Analytic equivalence relations and bi-embeddability (Q3083138) (← links)
- On the pointwise implementation of near-actions (Q3092822) (← links)
- SUITABLE EXTENDER MODELS I (Q3094356) (← links)
- Representing pointsets as unions of Borel sets (Q3103287) (← links)
- Boolean operations, Borel sets, and Hausdorff's question (Q3128474) (← links)
- Effective Borel measurability and reducibility of functions (Q3159400) (← links)
- Hierarchies in?-spaces and applications (Q3159401) (← links)
- The Strength of Blackwell determinacy (Q3160558) (← links)
- <i>V = L</i>and Intuitive Plausibility in set Theory. A Case Study (Q3174637) (← links)
- Determinacy from strong reflection (Q3190425) (← links)
- An effective selection theorem (Q3328536) (← links)
- A Technique for Proving Uniformity (Q3333029) (← links)
- Recursivity in Quantum Mechanics (Q3338244) (← links)