FOM: request for info

Neil Tennant neilt at mercutio.cohums.ohio-state.edu
Fri Feb 12 11:15:51 EST 1999


Can anyone tell me what the weakest theory of arithmetic is within which
one can formalize the argument for the equivalence of the G"odel-sentencefor S with Con(S), where S contains Robinson's arithmetic R and S is a 
subtheory of Th(N)?

Neil Tennant



More information about the FOM mailing list