ramesh@saul.cis.upenn.edu (Ramesh Subrahmanyam) (04/27/91)
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.