Classical truth in higher types

We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-theoretic finite type hierarchy and the constructively more meaningful models of Continuous Functionals, Hereditarily Effective Operations, as well as the closed term model of G

• Type: Journal
• Year: 2008
• Where: MLQ
• Authors: Ulrich Berger
• Keywords: Classical Point, Classical Set-theoretic Finite, Closed Term Model, MLQ 2008