The following pages link to Descriptive set theory (Q1139038):
Displaying 50 items.
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- Applying generic coding with help to uniformizations (Q2683784) (← 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)
- Who Asked Us? How the Theory of Computing Answers Questions about Analysis (Q3297823) (← 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)
- A theorem about Σ¹₁ equivalence relations (Q3390678) (← 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)
- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words (Q3449478) (← 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)