"S. Feferman"