On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]

Bryan Ford

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., faile…