ABSTRACT

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 him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his

chapter |7 pages

Predicativity: The outer limits

part |2 pages

PART II. LOGIC AND COMPUTATION