“A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432.
My first publication. It stems from work I did in my Honours year (1989) with Graham Priest, on paraconsistent logic. I explain a particularly simple yet powerful technique for constructing models of naïve set theory in the paraconsistent logic LP. This can be used to show the consistency of the theory, and to construct models invalidating some of the axioms of ZFC.
The paper is available online for free now at the NDJFL website. You can find it here.
Posted by: Greg Restall at November 19, 2004 09:49 PM