FOM: generic absoluteness addendum

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

Previous message: FOM: Re: Godel, f.o.m.
Next message: FOM: Complex vs. Real, and stability
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

John Steel

Previous message: FOM: Re: Godel, f.o.m.
Next message: FOM: Complex vs. Real, and stability
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list