[FOM] Question on Incompleteness Theorems
Dmytro Taranovsky
dmytro at mit.edu
Sun May 30 20:20:52 EDT 2004
Is there an arithmetical formula phi with one free variable such that
for every Pi-0-1 formula psi with one free variable it is consistent
with Peano Arithmetic that
Forall n (phi(n) <--> psi(n)).
Can phi be a Pi-0-1 formula?
My motivation for this question is (in part) finding the strongest
possible forms of the incompleteness results.
Dmytro Taranovsky
More information about the FOM
mailing list