My complete list of publications (more than 90 items) is available: DVI, PDF, PS, HTML, plain text.
Some of my recent publications are available on-line, below. Some information on my books and lecture notes and recent and upcoming talks is available.
Many of my publications and talks deal with foundations of mathematics and reverse mathematics. Many of my recent publications and talks deal with mass problems.
My paper Implicit definability in arithmetic (2013) is available: PDF, PS, DVI. This paper has been submitted for publication.
My paper Propagation of partial randomness (2012, with Higuchi and Hudelson and Yokoyama) is available: PDF, PS, DVI. This paper has been submitted for publication.
My paper Baire categoricity and Sigma01 induction (2012) is available: PDF, PS, DVI. This paper has been accepted for publication in the Notre Dame Journal of Formal Logic.
My paper Reverse mathematics and Peano categoricity (2012, with Yokoyama) is available: PDF, PS, DVI. This paper has been published in Annals of Pure and Applied Logic.
My paper Symbolic dynamics: entropy = dimension = complexity (2011) is available: PDF, PS, DVI. This paper has been submitted for publication.
My paper Schnorr randomness and the Lebesgue Differentiation Theorem (2011, with Pathak and Rojas) is available: PDF, PS, DVI. This paper has been accepted for publication in Proceedings of the American Mathematical Society.
My survey paper Mass problems associated with effectively closed sets (2010) is available: PDF, PS. This paper has been published in the Tohoku Mathematical Journal.
My paper Mass problems and measure-theoretic regularity (2009) is available: PDF, PS. This paper has been published in Bulletin of Symbolic Logic.
My paper The Gödel hierarchy and reverse mathematics (2008) is available: PDF, PS, DVI, HTML. This paper has been published as a part of the volume Kurt Gödel: Essays for his Centennial.
My paper Mass problems and intuitionism (2007) is available: PDF, PS, DVI, HTML. This paper has been published in Notre Dame Journal of Formal Logic.
My paper Medvedev degrees of 2-dimensional subshifts of finite type (2007) is available: PDF, PS, DVI, HTML. This paper has been accepted for publication in Ergodic Theory and Dynamical Systems.
My paper Mass problems and hyperarithmeticity (2006, with Cole) is available: PDF, PS, DVI. This paper has been published in Journal of Mathematical Logic.
My paper Mass problems and almost everywhere domination (2006) is available: PDF, PS, DVI, HTML. This paper has appeared in Mathematical Logic Quarterly.
My paper Almost everywhere domination and superhighness (2006) is available: PDF, PS, DVI, HTML. See also the flattering referee's report. This paper has appeared in Mathematical Logic Quarterly.
My paper Some fundamental issues concerning degrees of unsolvability (2005) is available: PDF, PS. This paper has appeared in Computational Prospects of Infinity, a volume in the Lecture Notes Series of the Institute for Mathematical Sciences at the National University of Singapore.
My paper Reverse mathematics and Pi^1_2 comprehension (2005, with Mummert) is available: DVI, PDF, PS, HTML. This paper has appeared in Bulletin of Symbolic Logic.
My paper An extension of the recursively enumerable Turing degrees (2004) is available: DVI, PDF, PS, HTML. This paper is controversial and has an interesting publication history: DVI, PDF, PS, HTML. This paper has appeared in Journal of the London Mathematical Society.
My paper Mass problems and randomness (2004) is available: DVI, PDF, PS, HTML. This paper has appeared in Bulletin of Symbolic Logic.
My paper Almost everywhere domination (2004, with Dobrinen) is available: DVI, PDF, PS, HTML. This paper has appeared in Journal of Symbolic Logic.
My paper An Incompleteness Theorem for beta_n-Models (2004, with Mummert) is available: DVI, PDF, PS, HTML. This paper has appeared in Journal of Symbolic Logic.
My paper Embeddings into the Medvedev and Muchnik lattices of Pi^0_1 Classes (2003, with Binns) is available: DVI, PDF, PS. This paper has appeared in Archive for Mathematical Logic.
My paper A symmetric beta-model (2000) is available: DVI, PDF, PS, HTML.
My paper Some conservation results on Weak König's Lemma (2000, with Tanaka and Yamazaki) is available: DVI, PDF, PS. This paper has appeared in Annals of Pure and Applied Logic.
My paper Pi^0_1 sets and models of WKL_0 (2000) is available: DVI, PDF, PS, HTML. This paper has appeared in Reverse Mathematics 2001.
My paper Logic and mathematics (1999) is available: DVI, PDF, PS, HTML. It is a survey of logic and foundations of mathematics for the general reader. It appeared as a chapter of The Examined Life, edited by Stanley Rosen.
Information about my book Subsystems of Second Order Arithmetic (Springer-Verlag, 1999) is available.
My paper Separation and Weak König's Lemma (1999, with Humphreys) is available: DVI, PDF, PS, HTML. A plain text abstract is also available. This paper has appeared in Journal of Symbolic Logic.
My paper Located sets and reverse mathematics (1997, with Giusto) is available: DVI, PDF, PS. A plain text abstract is also available. This paper has appeared in Journal of Symbolic Logic.
My paper Vitali's Theorem and WWKL (1996, with Brown and Giusto) is available: DVI, PDF, PS, HTML. A plain text abstract is also available. This paper has appeared in Archive for Mathematical Logic.
My paper Separable Banach space theory needs strong set existence axioms (1996, with Humphreys) is available: DVI, PDF, PS, HTML. A plain text abstract is also available. This paper has appeared in Transactions of the American Mathematical Society.
My old paper On the strength of König's Duality Theorem for countable bipartite graphs (1994) is available: LaTeX, DVI, PDF, PS, HTML. A plain text abstract is also available. This paper appeared in Journal of Symbolic Logic.
My old paper The Baire Category Theorem in weak subsystems of second-order arithmetic (1993, with Brown) is available: PDF. This paper appeared in Journal of Symbolic Logic.
My old paper Partial realizations of Hilbert's Program (1988) is available: LaTeX, DVI, PDF, PS, HTML. This paper appeared in Journal of Symbolic Logic.
My old paper Logical analysis of some theorems of combinatorics and topological dynamics (1987, with Blass and Hirst) is available in scanned PDF format. This paper appeared in Contemporary Mathematics, Volume 65, American Mathematical Society.
My old paper Sigma01 induction and factorization of polynomials (1986, with Smith) is available in PDF format. This paper was published in Annals of Pure and Applied Logic.
My old paper Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche folgen von natürlichen Zahlen (1985, with Schütte) is available in PDF format. This paper was published in Archiv für Mathematische Logik und Grundlagenforschung.
My old paper A dual form of Ramsey's Theorem (1984, with Carlson) is available in scanned PDF format. This paper was published in Advances in Mathematics.
My old paper Sets which do not have subsets of every higher degree (1978) is available in scanned PDF format. This paper was published in the Journal of Symbolic Logic.
My old paper Minimal covers and hyperdegrees (1975) is available in scanned PDF format. This paper was published in Transactions of the American Mathematical Society.
Some more of my papers are also available.
simpson@math.psu.edu / 2 May 2013