This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the colle

Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring h

The subject of this book is the successive construction and development of the basic number systems of mathematics: positive integers, integers, rational number

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on