FOM: Independent axiomatizations wtait at
Sat Dec 13 09:08:53 EST 1997

Yes, indeed, Sam Buss. Thanks for saving me from the embarrassment of an 
easy proof that PA has _no_ decidable independent axiomatization! You 
have shown that such a proof would certainly be very hard. 

But to round off the topic brought up by Neil T., we should have an 
example of an r.e  axiom set equivalent to no r.e. independent set.

Bill Tait 

More information about the FOM mailing list