This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
Notre Dame J. Formal Logic
48(2):
237-251
(2007).
DOI: 10.1305/ndjfl/1179323266