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

Simple item page
dc.creatorFord, Bryan
dc.date2004-04-27
dc.date2004-05-06
dc.date.accessioned2026-07-07T05:07:44Z
dc.date.available2026-07-07T05:07:44Z
dc.descriptionThis 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.
dc.description22 pages
dc.identifierhttps://arxiv.org/abs/math/0404471
dc.identifierhttp://arxiv.org/abs/math/0404471
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/70976
dc.subjectLogic
dc.subject03E35
dc.titleOn the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]
dc.typetext

Files

Collections

arXiv