Functional interpretation and the existence property

Klaus Frovin Jørgensen. Functional interpretation and the existence property. Math. Log. Q., 50(6):573-576, 2004. [doi]

Abstract

Abstract is missing.