FOM: request for info

Neil Tennant neilt at
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