The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility
EDWIN D. MARES · Notre Dame Journal of Formal Logic · 2007
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.