A relative PCF-definability result, manuscript (1996)

by T Ehrhard