The following pages link to OPTIMAL PROOFS OF DETERMINACY II (Q4799378):
Displaying 13 items.
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Pure mathematics and physical reality (continuity and computability) (Q950774) (← links)
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy (Q1194242) (← links)
- Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
- Long games and \(\sigma \)-projective sets (Q2659104) (← links)
- On the prewellorderings associated with the directed systems of mice (Q2869899) (← links)
- Determinacy from strong reflection (Q3190425) (← links)
- Optimal Proofs of Determinacy (Q4858806) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- IN INNER MODELS WITH WOODIN CARDINALS (Q5015717) (← links)
- (Q5422270) (← links)
- Determinacy axioms and large cardinals (Q6132567) (← links)
- NOTE ON IMPLYING (Q6203555) (← links)