Xref: utzoo sci.logic:1230 comp.theory:1887 sci.math:17074
Path: 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

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.