W. Hugh Woodin

25 papers Journal 25
YearRankTypeTitle / Venue / Authors
2025 J jnl
The equivalence of Axiom (∗)+ and Axiom (∗)++.
J. Math. Log.
W. Hugh Woodin
2024 J jnl
Large cardinals at the brink.
Ann. Pure Appl. Log.
W. Hugh Woodin
2020 J jnl
Mice with finitely many Woodin cardinals from optimal determinacy hypotheses.
J. Math. Log.
Sandra Müller, Ralf Schindler, W. Hugh Woodin
2019 J jnl
Large Cardinals beyond Choice.
Bull. Symb. Log.
Joan Bagaria, Peter Koellner, W. Hugh Woodin
2017 J jnl
In Search of ultimate-l the 19th Midrasha Mathematicae Lectures.
Bull. Symb. Log.
W. Hugh Woodin
2016 J jnl
The Weak Ultrafilter Axiom.
Arch. Math. Log.
W. Hugh Woodin
2014 J jnl
Determinacy and JóNsson Cardinals in
J. Symb. Log.
S. Jackson, Richard Ketchersid, Farmer Schlutzenberg, W. Hugh Woodin
2011 J jnl
Suitable Extender Models II: beyond ω-Huge.
J. Math. Log.
W. Hugh Woodin
2010 J jnl
Suitable Extender Models I.
J. Math. Log.
W. Hugh Woodin
2009 J jnl
Incompatible Omega-complete theories.
J. Symb. Log.
Peter Koellner, W. Hugh Woodin
2008 J jnl
On the consistency strength of the inner model hypothesis.
J. Symb. Log.
Sy-David Friedman, Philip D. Welch, W. Hugh Woodin
2006 J jnl
The cardinals below |[omega
Ann. Pure Appl. Log.
W. Hugh Woodin
2005 J jnl
The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal.
Math. Log. Q.
Joel David Hamkins, W. Hugh Woodin
2003 J jnl
P-points in Q
Ann. Pure Appl. Log.
Q. Feng, W. Hugh Woodin
2001 J jnl
The Jensen Covering Property.
J. Symb. Log.
Ernest Schimmerling, W. Hugh Woodin
1999 J jnl
Pi
J. Symb. Log.
Kai Hauser, W. Hugh Woodin
1998 J jnl
Complexity of Reals in Inner Models of Set Theory.
Ann. Pure Appl. Log.
Boban Velickovic, W. Hugh Woodin
1998 J jnl
Extending Partial Orders to Dense Linear Orders.
Ann. Pure Appl. Log.
Theodore A. Slaman, W. Hugh Woodin
1997 J jnl
Definability in the enumeration degrees.
Arch. Math. Log.
Theodore A. Slaman, W. Hugh Woodin
1997 J jnl
~Delta
J. Symb. Log.
Joan Bagaria, W. Hugh Woodin
1996 J jnl
The universe constructed from a sequence of ordinals.
Arch. Math. Log.
W. Hugh Woodin
1991 J jnl
A Strong Boundedness Theorem for Dilators.
Ann. Pure Appl. Log.
Alexander S. Kechris, W. Hugh Woodin
1990 J jnl
The Borel Conjecture.
Ann. Pure Appl. Log.
Haim Judah, Saharon Shelah, W. Hugh Woodin
1985 J jnl
Two Weak Consequences of 0
J. Symb. Log.
Moti Gitik, Menachem Magidor, W. Hugh Woodin
1984 J jnl
Forcing the Failure of Ch by Adding a Real.
J. Symb. Log.
Saharon Shelah, W. Hugh Woodin