Re: The shocking truth about the naturals

From: djrt20@xxxxxxxxxx
Date: Fri, 31 Aug 2007 12:40:29 -0700

The arithmetical Lowenheim-Skolem theorem asserts that any
axiomatizable theory that has an infinite model has a model with
domain the natural numbers and the denotation of every nonlogical
symbol an arithmetical function or relation.

.

Follow-Ups:
- Re: The shocking truth about the naturals
  - From: aatu . koskensilta

References:
- The shocking truth about the naturals
  - From: aatu . koskensilta
- Re: The shocking truth about the naturals
  - From: george
- Re: The shocking truth about the naturals
  - From: aatu . koskensilta
- Re: The shocking truth about the naturals
  - From: herbzet
- Re: The shocking truth about the naturals
  - From: aatu . koskensilta
- Re: The shocking truth about the naturals
  - From: J. Burse
- Re: The shocking truth about the naturals
  - From: Daryl McCullough
- Re: The shocking truth about the naturals
  - From: J. Burse
- Re: The shocking truth about the naturals
  - From: aatu . koskensilta

Prev by Date: Re: Question about the Diagonal Method.
Next by Date: Re: The shocking truth about the naturals
Previous by thread: Re: The shocking truth about the naturals
Next by thread: Re: The shocking truth about the naturals
Index(es):
- Date
- Thread