FOM: generic absoluteness addendum

John Steel steel at math.berkeley.edu
Tue Jan 25 19:25:13 EST 2000


I forgot to define: P_T = set of Pi^0_1 consequences of T. ( Thanks to
Martin Davis for pointing this out.)

John Steel






More information about the FOM mailing list