My complete list of publications (more than 70 items) is available: LaTeX, 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 The Gödel Hierarchy and Reverse Mathematics (2008) is available: PDF, PS, DVI, HTML.
My paper Mass Problems and Intuitionism (2007) is available: PDF, PS, DVI, HTML. This paper has appeared in Notre Dame Journal of Formal Logic.
My paper Medvedev Degrees of 2-Dimensional Subshifts of Finite Type (2007) is available: PDF, PS, DVI. 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.
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 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 has appeared in Journal of Symbolic Logic.
My paper Partial Realizations of Hilbert's Program (1988) is available: LaTeX, DVI, PDF, PS, HTML. This paper has appeared in Journal of Symbolic Logic.
Some more of my papers are also available.
simpson@math.psu.edu / 1 July 2008