[FOM] Omega Consistency of Q Implies Consistency of PA?

Richard Heck richard_heck at brown.edu
Wed Apr 15 10:49:19 EDT 2015

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

More information about the FOM mailing list