The following pages link to Determinacy in L(ℝ) (Q3053909):
Displaying 33 items.
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy (Q1194242) (← links)
- Nonstandard analysis and axiom of determinateness (Q1346918) (← links)
- Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205) (← links)
- \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis (Q1731564) (← links)
- The simulation technique and its applications to infinitary combinatorics under the axiom of Blackwell determinacy. (Q1880135) (← links)
- Winning strategies for infinite games: from large cardinals to computer science extended abstract (Q1885038) (← links)
- Determinacy in the difference hierarchy of co-analytic sets (Q1919554) (← links)
- Projective games on the reals (Q1981987) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- Thin equivalence relations and inner models (Q2250452) (← links)
- Determinacy separations for class games (Q2312093) (← links)
- The envelope of a pointclass under a local determinacy hypothesis (Q2352255) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← links)
- What is the theory ZFC without power set? (Q2827952) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- Simplest possible locally definable well-orders (Q2957265) (← links)
- The limits of determinacy in second-order arithmetic (Q3116522) (← links)
- (Q3338245) (← links)
- Believing the axioms. II (Q3803104) (← links)
- UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS (Q4600453) (← links)
- PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES (Q4600457) (← links)
- Optimal Proofs of Determinacy (Q4858806) (← links)
- Every zero-dimensional homogeneous space is strongly homogeneous under determinacy (Q4988825) (← links)
- When a relation with all Borel sections will be Borel somewhere? (Q5020719) (← links)
- CONSTRUCTING WADGE CLASSES (Q5085860) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Determined admissible sets (Q5221364) (← links)
- The Extent of Constructive Game Labellings (Q5432672) (← links)
- PROVABLY GAMES (Q5855751) (← links)
- The AD+ conjecture and the continuum hypothesis (Q5878589) (← links)
- Determinacy and the sharp function on the reals (Q5966622) (← links)
- An undecidable extension of Morley's theorem on the number of countable models (Q6109096) (← links)
