Article View: sci.logic
Article #217Re: Non-standard integers.
From: W.Jose Castrellon G.
Date: Wed, 19 Aug 1992 15:26
Date: Wed, 19 Aug 1992 15:26
19 lines
1325 bytes
1325 bytes
In article <1992Aug19.151419.8835@magnus.acs.ohio-state.edu> I write: >In article <1992Aug19.172922.410@csc.canterbury.ac.nz> wft@math.canterbury.ac.nz (Bill Taylor) writes: >> >>...at first it wasn't clear to me that every nonstandard model would have >>such an n . But I suppose this can be seen by taking any odd nonstandard k, >>and forming n = k(k-2)(k-4)(k-6)..... . ... >> >>Presumably this operation can be made legitimate in some simple way ? > >Yes, by Godel coding, but n will necessarily be divisible by some non-standard >naturals. Here I should have said n will be equal to the product of k's odd predecessors in k's _row_ and other numbers not in k's row. WJCG
Technical Details
Message-ID:
<1992Aug19.152630.8969@magnus.acs.ohio-state.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!caen!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!wjcastreReferences:
<16rh2nINN6og@agate.berkeley.edu> <1992Aug19.172922.410@csc.canterbury.ac.nz> <1992Aug19.151419.8835@magnus.acs.ohio-state.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!caen!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!wjcastre From: wjcastre@magnus.acs.ohio-state.edu (W.Jose Castrellon G.) Subject: Re: Non-standard integers. Message-ID: <1992Aug19.152630.8969@magnus.acs.ohio-state.edu> Sender: news@magnus.acs.ohio-state.edu Nntp-Posting-Host: bottom.magnus.acs.ohio-state.edu Organization: The Ohio State University,Math.Dept.(studnt) References: <16rh2nINN6og@agate.berkeley.edu> <1992Aug19.172922.410@csc.canterbury.ac.nz> <1992Aug19.151419.8835@magnus.acs.ohio-state.edu> Date: Wed, 19 Aug 1992 15:26:30 GMT Lines: 19