Faithin Omaha eBook Collection

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 discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide au