Article View: sci.logic
Article #202Re: Non-standard integers.
From: Robert M. Solovay
Date: Mon, 17 Aug 1992 08:57
Date: Mon, 17 Aug 1992 08:57
17 lines
1304 bytes
1304 bytes
In article <1992Aug17.141017.373@csc.canterbury.ac.nz> wft@math.canterbury.ac.nz (Bill Taylor) writes: >I recall once seeing an article by Kemeny, in which he looked at a nonstandard >model of the integers, in which there would be two (nonstandard) integers, >n and n+2, both of which would be divisible by all standard integers. The >hope was to be able to use this model to decide the twin-prime (or related) >conjectures. > If the integer n is divisible by 4, then n + 2 is not. This fact [obviously true in the standard model] can be proved in PA, and so holds in non-standard models as well. It's a reasonable question (to which I don't know the answer) what the result of Kemeny is that wft is misremembering. > >Thanks, Bill Taylor. wft@math.canterbury.ac.nz Bob Solovay solovay@math.berkeley.edu
Technical Details
Message-ID:
<16npkvINNjlq@agate.berkeley.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!sun-barr!ames!agate!math.berkeley.edu!solovayReferences:
<1992Aug17.141017.373@csc.canterbury.ac.nz>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!ames!agate!math.berkeley.edu!solovay From: solovay@math.berkeley.edu (Robert M. Solovay) Newsgroups: sci.logic Subject: Re: Non-standard integers. Date: 17 Aug 1992 08:57:03 GMT Organization: U.C. Berkeley Math. Department. Lines: 17 Distribution: world Message-ID: <16npkvINNjlq@agate.berkeley.edu> References: <1992Aug17.141017.373@csc.canterbury.ac.nz> NNTP-Posting-Host: math.berkeley.edu Summary: Result quoted is false