MLQ
2008
14 years 12 days ago
2008
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-t...