The following pages link to Optimal Proofs of Determinacy (Q4858806):
Displaying 31 items.
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Pure mathematics and physical reality (continuity and computability) (Q950774) (← links)
- Deterministic FOIES are strictly weaker (Q1370629) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- On supercompactness of \(\omega_1\) (Q2097056) (← links)
- Thin equivalence relations and inner models (Q2250452) (← links)
- Deductive proofs of almost sure persistence and recurrence properties (Q2272919) (← links)
- Preserving levels of projective determinacy by tree forcings (Q2659097) (← links)
- Long games and \(\sigma \)-projective sets (Q2659104) (← links)
- A boundedness lemma for iterations (Q2758044) (← links)
- On the prewellorderings associated with the directed systems of mice (Q2869899) (← links)
- Optimal indecomposable witnesses without extremality or the spanning property (Q3165233) (← links)
- Determinacy from strong reflection (Q3190425) (← links)
- Core models in the presence of Woodin cardinals (Q3416108) (← links)
- Believing the axioms. II (Q3803104) (← links)
- (Q4251070) (← links)
- The determinacy of Blackwell games (Q4254699) (← links)
- The consistency strength of successive cardinals with the tree property (Q4328838) (← links)
- OPTIMAL PROOFS OF DETERMINACY II (Q4799378) (← links)
- Unbounded and dominating reals in Hechler extensions (Q4916560) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- IN INNER MODELS WITH WOODIN CARDINALS (Q5015717) (← links)
- Turing Determinacy and Suslin sets (Q5076396) (← links)
- Forcing the Σ31-separation property (Q5094533) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Deterministic unimodularity certification (Q5244546) (← links)
- Σ<sub>1</sub>(<i>κ</i>)-DEFINABLE SUBSETS OF H(<i>κ</i><sup>+</sup>) (Q5359578) (← links)
- (Q5422270) (← links)
- The AD+ conjecture and the continuum hypothesis (Q5878589) (← links)
- Determinacy axioms and large cardinals (Q6132567) (← links)
- The exact consistency strength of the generic absoluteness for the universally Baire sets (Q6188332) (← links)
