21 citations · 43 across the 12 of their papers we have counts for
12 papers
The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
Daisuke Ikegami, W. Hugh Woodin
We show that the Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy are equivalent in $\…
On the categoricity of complete second order theories
Tapio Saarinen, Jouko Väänänen, William Hugh Woodin
We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursive…
Open class determinacy is preserved by forcing
Joel David Hamkins, W. Hugh Woodin
The principle of open class determinacy is preserved by pre-tame class forcing, and after such forcing, every new class well-order is isomorphic to a ground-model class well-order.…
The universal finite set
Joel David Hamkins, W. Hugh Woodin
We define a certain finite set in set theory and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set…
Determinacy and Jónsson cardinals in
Steve Jackson, Richard Ketchersid, Farmer Schlutzenberg +1
Assume and let be an uncountable cardinal. We show that is Jónsson, and that if then is Rowbottom. We al…
The strength of the Inner Model Hypothesis
S-D. Friedman, W. H. Woodin, P. D. Welch
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bullet…