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)
- 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)
- Descriptive inner model theory (Q2837761) (← links)
- Forcing, games and families of closed sets (Q2841342) (← links)
- Ideal games and Ramsey sets (Q2845042) (← 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)
- An effective selection theorem (Q3328536) (← links)
- A Technique for Proving Uniformity (Q3333029) (← links)
- Recursivity in Quantum Mechanics (Q3338244) (← links)
- Functions of the First Baire Class with Values in Banach Spaces (Q3350164) (← links)
- Some results about Borel sets in descriptive set theory of hyperfinite sets (Q3358737) (← links)
- Measure theory aspects of locally countable orderings (Q3410682) (← links)
- A Metamathematical Condition Equivalent to the Existence of a Complete Left Invariant Metric for a Polish Group (Q3416106) (← links)
- Linear Kripke frames and Gödel logics (Q3426561) (← links)
- Hurewicz-like tests for Borel subsets of the plane (Q3432100) (← links)
- The equivalence of determinacy and iterated sharps (Q3476807) (← links)
- On analytic filters and prefilters (Q3484828) (← links)
- Borel Orderings (Q3487336) (← links)
- Monotone Reducibility Over the Cantor Space (Q3487337) (← links)