http://www.math.ucla.edu/~asl/bsl/0604/0604-001.ps http://www.cs.nyu.edu/pipermail/fom/2000-April/003961.html http://www.cs.nyu.edu/pipermail/fom/2000-May/003969.html Feferman's homepage: http://math.stanford.edu/~feferman/papers.html
