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

[laureano luna]

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
w->consistent 
>complete extension of PA is "true arithmetic".

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

Regards 


		
______________________________________________ 
LLama Gratis a cualquier PC del Mundo. 
Llamadas a fijos y móviles desde 1 céntimo por minuto. 
http://es.voice.yahoo.com