Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleDependent Choices and Anti-Foundation.AuthorsMuraki, HisatoAbstractIn Zermelo-Fraenkel set theory without the Axiom of Foundation we study the schema version of the principle of dependent choices in connection with Aczel's antifoundation axiom (a part of it), Boffa's anti-foundation axiom, and axiom of collection.SubjectsAXIOMS; SET theory; FOUNDATIONS of mathematical analysis; MATHEMATICAL formulas; MATHEMATICAL variables; MATHEMATICSPublicationMathematical Logic Quarterly, 2002, Vol 48, Issue 4, p607ISSN0942-5616Publication typeArticleDOI10.1002/1521-3870(200211)48:4<607::AID-MALQ607>3.0.CO;2-#