Re: question about categoricity
- From: "Per Freem" <perfreem@xxxxxxxxx>
- Date: 22 Nov 2005 14:08:24 -0800
ah, so am i right in characterization this as follows: the idea is that
you can add finitely many constants and still remain the size of Nat,
but that those constants will have no "analog" so to speak in the other
model? this seems pretty subtle, is there a better way to make it more
intuitive? perhaps other examples?
thanks a lot for your help.
.
- Follow-Ups:
- Re: question about categoricity
- From: george
- Re: question about categoricity
- From: Chris Menzel
- Re: question about categoricity
- References:
- question about categoricity
- From: Per Freem
- Re: question about categoricity
- From: Chris Menzel
- question about categoricity
- Prev by Date: Re: question about categoricity
- Next by Date: Re: Informal theories versus formal theories.
- Previous by thread: Re: question about categoricity
- Next by thread: Re: question about categoricity
- Index(es):
Relevant Pages
|