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