collaborators

1 paper

math.LO1999

A Revision Theoretic Model for NF

Mika Oksanen

Using techniques developed in the revision theory of truth, I build a model for the set theory NF (New Foundations) developed by Quine in ZF, therefore proving its consistency rela…