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