Article View: sci.logic
Article #470A result of Gandy and Kreisel: Reference sought
From: Ramesh Subrahmanyam
Date: Fri, 26 Apr 1991 20:31
Date: Fri, 26 Apr 1991 20:31
15 lines
1101 bytes
1101 bytes
In a footnote to his paper "Equality Between Functionals", Harvey Friedman mentions (without citing) the following result due to Gandy and Kreisel: There are two unequal primitive recursive functionals that agree on all primitive recursive functional arguments. In the above equality refers to equality in the full type hierarchy. I would appreciate any references to the proof of this result. Ramesh Ramesh Subrahmanyam | Diplomat: A person who can tell you to go Computer & Info. Sc. | to hell in such a way that you U. of Pennsylvania | would look forward to the trip.
Technical Details
Message-ID:
<42090@netnews.upenn.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!dsinc!netnews.upenn.edu!saul.cis.upenn.edu!rameshShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!unix.cis.pitt.edu!dsinc!netnews.upenn.edu!saul.cis.upenn.edu!ramesh From: ramesh@saul.cis.upenn.edu (Ramesh Subrahmanyam) Newsgroups: sci.logic,comp.theory,sci.math Subject: A result of Gandy and Kreisel: Reference sought Message-ID: <42090@netnews.upenn.edu> Date: 26 Apr 91 20:31:05 GMT Sender: news@netnews.upenn.edu Followup-To: sci.logic Lines: 15 Nntp-Posting-Host: saul.cis.upenn.edu