Dependent Choices and Anti‐Foundation
Hisato Muraki · Mathematical logic quarterly · 2002
In 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.