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.
Last revised on October 30, 2016 at 20:05:05. See the history of this page for a list of all contributions to it.