Set Theory and Nominalization, Part I
Fairouz Kamareddine · Journal of Logic and Computation · 1992
This paper argues that the basic problems of nominalization are those of set theory. We shall therefore overview the problems of set theory, the various solutions and assess the influence on nominalization. We shall then discuss Aczel's Frege structures [1] and compare them with Scott domains. Moreover, we shall set the ground for the second part which demonstrates that Frege structures are a suitable framework for dealing with nominalization.