Lecture Notes in Logic, 21

Reverse Mathematics 2001

Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.

Table of Contents

Preface

Andrew Arana
Possible m-diagrams of models of arithmetic

Jeremy Avigad
Weak theories of nonstandard arithmetic and analysis

Douglas K. Brown
Notions of compactness in weak subsystems of secord order arithmetic

Douglas Cenzer and Jeffrey B. Remmel
Proof-theoretic strength of the stable marriage theorem and other problems