"Two Case Studies of Mathematical Modelling in Philosophy"
"Uniform Unfolding and Analytic Measurability." Archive for Mathematical Logic (November 1998), 37(8):505-520.
(with Moti Gitik.) "Cofinalities of Linear Orders." Order (1999), 16(2):105-111.
(with John R. Steele.) "An Introduction to Core Model Theory." In S. Barry Cooper and John K. Truss, eds., Sets and Proofs: Invited Papers from the Logic Colloquium '97, University of Leeds, England, July 1997, pp. 103-157. London Mathematical Society Lecture Note Series, 258. Cambridge & new York: Cambridge University Press, 1999.
(with Jörg Brendle.) "Solovay-Type Characterizations for Forcing-Algebras." Journal of Symbolic Logic (September 1999), 64(3):1307-1323.
"A First Glance at Non-Restrictiveness." Philosophia Mathematica (NS 3) (2001), 9(3):347-354.
"Revision Sequences and Computers with an Infinite Amount of Time." Journal of Logic and Computation (February 2001), 11(1):25-40.
"Revision Sequences and Computers with an Infinite Amount of Time." In Heinrich Wansing, ed., Essays on Non-Classcial Logic, pp. 37-59. Advances in Logic, 1. River Edge, NJ: World Scientific, 2001.
"Set-Theoretic Absoluteness and the Revision Theory of Truth." Studia Logica (2001), 68:21-41.
(with Lorenz Halbeisen.) "Techniques for Approching the Dual Ramsey Property in the Projective Hierarchy." Pacific Journal of Mathematics (September 2001), 200(1):119-145.
"Turing Cones and Set Theory of the Reals." Archive for Mathematical Logic (November 2001), 40 (8):651-664.
(with Lorenz Halbeisen.) "Ultrafilter Spaces on the Semilattice of Partitions." Topology and Its Applications (October 16, 2001), 115(3):317-332.
"Kleinberg Sequences and Partition Cardinals Below Delta (1)(5)." Fundamenta Mathematicae (2002), 171(1):69-76.