This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has see

This volume presents reverse mathematics to a general mathematical audience for the first time. Stillwell gives a representative view of this field, emphasizing

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesti