Dette volumet hedrer livet og arbeidet til Solomon Feferman, en av de mest fremtredende matematiske logikerne i den andre halvdelen av det 20. århundre. I denne essaysamlingen tar forskere for seg Fefermans arbeid innen matematikk samt spesifikke metodologiske og filosofiske problemstillinger relatert til matematikken. Fefermans bidrag var hovedsakelig knyttet til matematisk logikk, inkludert områder som modellteori, mengdeteori, bevisteori og beregnbarhetsteori. Samtidig strakk hans arbeid seg utover tradisjonelle matematiske grenser og berørte metodologiske og filosofiske temaer, noe som ga ham anerkjennelse også utenfor matematikkområdet. Når det gjelder metodologiske spørsmål, støttet Feferman konkrete prosjekter som kalibrerer den bevisteoretiske styrken til undersystemer innen analyse og mengdeteori. Disse prosjektene gir verktøy for å overvinne begrensningene som Gödel's ufullstendighetsteoremer pålegger, ved å utvikle passende konseptuelle utvidelser. Videre søker de å identifisere nye aksiomatiske grunnlag for matematikken.
