Set Theory and Nominalization, Part II

In this paper we shall meet the application of Scott domains to nominalisation and explain its problem of predication. We claim that it is not possible to nd a solution to such a problem within semantic domains without logic. Frege structures are more conclusive than a solution to domain equations and can be used as models for nominalisation. Hence we develop a type theory based on Frege structures and use it as a theory of nominalisation. 1 Frege structures, a formal introduction Having in part I informally introduced Frege structures, I shall here ll in all the technical details and show that Frege structures exist.