- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- Notes on a proof of Koszmider William J. Mitchell
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
- A Sharp for the Chang Model William Mitchell
- INNER MODELS FOR LARGE CARDINALS William J. Mitchell
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- I[2] and Finite Forcing Bill Mitchell
- Adding closed unbounded subsets of 2 with finite forcing
- On the Hamkins Approximation Property William J. Mitchell
- Numbers and Polynomials Notes for a course, Third edition
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- One Repeat Point Gives a Closed, Unbounded Ultrafilter on 1
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- On the Hamkins Approximation Property William J. Mitchell #
- Notes on a proof of Koszmider William J. Mitchell
- Iterating Forcing using Models as Side Conditions William Mitchell
- Adding closed unbounded subsets of # 2 with finite forcing
- Adding closed unbounded subsets of !2 with finite forcing
- On the Hamkins Approximation Property William J. Mitchell*
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
- A measurable cardinal with a closed unbounded set of inaccessibles from o(~) = ~.
- One Repeat Point Gives a Closed, Unbounded Ultrafilter on !1
- The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000
- The Journal of Symbolic Logic Volume 00, Number 00, XXX 0000
- On a question of Hamkins and Lowe (PRELIMINARY)
- Notes on a proof of Koszmider William J. Mitchell*
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
- 0. Beginning Inner Model Theory 1 by William J. Mitchell
