nLab
Solomon Feferman

Solomon Feferman (1928-2016) was an American logician and set theorist with important contributions to recursion theory.

A former student of Alfred Tarski he has also coauthored a biography of Tarski.

He has accompanied the development of categorical foundations of mathematics with a series of critical papers over a period of 30 years.

category: people