On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]
Logic
2007-05-23 v3
Abstract
This paper has been withdrawn due to a critical error discovered in Theorem 4.21. Anyone with a historical or pragamatic interest in prior "negative results", however - e.g., failed proof attempts relating to the (in)consistency of ZF or the soundness of impredicative reasoning - is welcome to retrieve the original version of the paper still avaailable here on arXiv.
Keywords
Cite
@article{arxiv.math/0404471,
title = {On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]},
author = {Bryan Ford},
journal= {arXiv preprint arXiv:math/0404471},
year = {2007}
}
Comments
22 pages