Just a brief comment for now: > But, I believe--please correct me if I'm wrong--that Feferman's work has > become increasingly more technical over the years. His 1998 book "In the Light of Logic" was a notable step in other directions: more philosophical and more popular. --Matt