Premium
Dependent Choices and Anti‐Foundation
Author(s) -
Muraki Hisato
Publication year - 2002
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200211)48:4<607::aid-malq607>3.0.co;2-#
Subject(s) - foundation (evidence) , mathematics , mathematical economics , mathematics education , political science , law
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.