between 2001 and 2013.

In 2004, together with his wife Anita Burdman Feferman, he published a biography of Alfred Tarski, Alfred Tarski: Life and Logic.

Influenced by the writings of Hermann Weyl, he worked on predicative mathematics. In particular, he introduced the Feferman-Schütte ordinal as a measure