FOM: truth predicates and reflection

Stephen G Simpson simpson at math.psu.edu
Mon Jan 11 14:17:44 EST 1999


Volker Halbach 29 Dec 1998 11:39:56 writes:
 > In his "Reflection on Incompleteness" Feferman went into this
 > direction.  The closure of a theory is there defined via a truth
 > predicate.

Your point about the need for truth predicates is interesting.  Thanks
also for tying it in to Feferman's paper, which I had occasion to
reread recently in preparing for my Feferfest talk.  Were you at the
Feferfest?  Would you care to follow up on my Feferfest posting, 22
Dec 1998 17:52:09?

-- Steve Simpson





More information about the FOM mailing list