[FOM] Omega Consistency of Q Implies Consistency of PA?
william tait
williamtait at mac.com
Wed Apr 15 14:53:41 EDT 2015
Dear Richard,
Q is Sigma_1 complete. (Provable in PA)
Bill
Sent from my iPad
> On Apr 15, 2015, at 9:49 AM, Richard Heck <richard_heck at brown.edu> wrote:
>
>
> Feferman mentions in a footnote in "Arithmetization" that Kreisel showed that the omega consistency of Q finitistically implies the consistency of PA. Unfortunately, the paper to which he refers seems to be hard to get. Can anyone explain the proof of this?
>
> Richard Heck
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
More information about the FOM
mailing list