VOLUME ON REVERSE MATHEMATICS Editor: Stephen G. Simpson Title: Reverse Mathematics 2001 Publication: All papers have been refereed. The volume was published in 2005 in the Association for Symbolic Logic's book series, Lecture Notes in Logic, X + 401 pages. Papers: Andrew Arana: Possible m-Diagrams of Models of Arithmetic. 16 pages. Jeremy Avigad: Weak Theories of Nonstandard Arithmetic and Analysis. 24 pages Douglas K. Brown: Notions of Compactness in Weak Subsystems of Second-Order Arithmetic. 20 pages. Douglas Cenzer, Jeffrey B. Remmel: Proof-Theoretic Strength of the Stable Marriage Theorem and Other Problems. 35 pages. Peter Cholak, Mariagnese Giusto, Jeffry L. Hirst, Carl G. Jockusch, Jr.: Free Sets and Reverse Mathematics. 14 pages. Chi-Tat Chong, Richard A. Shore, Yue Yang: Interpreting Arithmetic in the R.E. Degrees under Sigma4-Induction. 26 pages. Rodney G. Downey, Reed Solomon: Reverse Mathematics, Archimedean Classes, and Hahn's Theorem. 16 pages. Antonio Marques Fernandes: The Baire Category Theorem over a Feasible Base Theory. 10 pages. Antonio M. Fernandes, Fernando Ferreira: Basic Applications of Weak Konig's Lemma in Feasible Analysis. 13 pages. Harvey M. Friedman: Maximal Nonfinitely Generated Subalgebras (4 pages. 16 pages. Harvey M. Friedman: Metamathematics of Comparability. 21 pages. Jeffry L. Hirst: A Note on Compactness of Countable Sets. 3 pages. Jeffry L. Hirst: A Survey of the Reverse Mathematics of Ordinal Arithmetic. 13 pages. Jeffry L. Hirst: Reverse Mathematics and Ordinal Suprema. 9 pages. A. James Humphreys: Did Cantor Need Set Theory? 27 pages. Julia F. Knight: Models of Arithmetic, Quantifiers and Complexity. 9 pages. Ulrich Kohlenbach: Higher Order Reverse Mathematics. 14 pages. Roman Kossak: Arithmetic Saturation. 9 pages. Alberto Marcone: WQO and BQO Theory in Subsystems of Second Order Arithmetic. 27 pages. James H. Schmerl: Reverse Mathematics and Graph Coloring: Eliminating Diagonalization, 24 pages. James H. Schmerl: Undecidable Theories and Reverse Mathematics. 6 pages. Stephen G. Simpson: Pi01 Sets and Models of WKL0. 26 pages. Kazuyuki Tanaka, Takeshi Yamazaki: Manipulating the Reals in RCA0. 14 pages. Takeshi Yamazaki: Reverse Mathematics and Basic Feasible Systems of 0-1 Strings. 8 pages. This document was last revised on 20 September 2005.