[FOM] Ruling-out Nonstandard Models of 1st-Order PA

laureano luna laureanoluna at yahoo.es
Sun Oct 29 10:21:44 EST 2006

On Wed, 25 Oct 2006 Roger Bishop Jones wrote:

>I set about showing a conjecture which has as a
>corollory (what 
>is probably a well known result) that the only
>complete extension of PA is "true arithmetic".

Is this not equivalent to the completeness Carnap
intended by adding the omega-rule?


LLama Gratis a cualquier PC del Mundo. 
Llamadas a fijos y móviles desde 1 céntimo por minuto. 

More information about the FOM mailing list