The following pages link to A Proof of Projective Determinacy (Q3820593):
Displaying 18 items.
- The large cardinal strength of weak Vopenka’s principle (Q5081944) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Pointwise Arbitrage Pricing Theory in Discrete Time (Q5108229) (← links)
- Inner models from extended logics: Part 1 (Q5156477) (← links)
- IN SEARCH OF ULTIMATE-<i>L</i>THE 19TH MIDRASHA MATHEMATICAE LECTURES (Q5283453) (← links)
- (Q5295693) (← links)
- Woodin’s axiom (*), or Martin’s Maximum, or both? (Q5351855) (← links)
- On Martin’s pointed tree theorem (Q5740206) (← links)
- PROVABLY GAMES (Q5855751) (← links)
- The Continuum Hypothesis (Q5886640) (← links)
- On reflection principles (Q5901498) (← links)
- How to win some simple iteration games (Q5961723) (← links)
- Strong cardinals in the core model (Q5961724) (← links)
- Forcing revisited (Q6096804) (← links)
- An undecidable extension of Morley's theorem on the number of countable models (Q6109096) (← links)
- Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization (Q6156423) (← links)
- Patterns of structural reflection in the large-cardinal hierarchy (Q6567168) (← links)
- Monotone versus non-monotone projective operators (Q6663909) (← links)