✦ LIBER ✦

Dependent Choices and Anti-Foundation

✍ Scribed by Hisato Muraki

Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 267 KB
Volume: 48
Category: Article
ISSN: 0044-3050
DOI: 10.1002/1521-3870(200211)48:4<607::aid-malq607>3.0.co;2-#

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

James sequences and Dependent Choices

✍ Marianne Morillon 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 240 KB

We prove James's sequential characterization of (compact) reflexivity in set-theory ZF + DC, where DC is the axiom of Dependent Choices. In turn, James's criterion implies that every infinite set is Dedekind-infinite, whence it is not provable in ZF. Our proof in ZF + DC of James' criterion leads us

Anti-foundation and self-reference

✍ Colin McLarty 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 533 KB

Dependent choice, ‘quote’ and the clock

✍ Jean-Louis Krivine 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 302 KB

Fixed point theories and dependent choic

Fixed point theories and dependent choice

✍ Gerhard Jäger; Thomas Strahm 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 149 KB

Choices, choices

📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 54 KB

Embedding Properties and Anti-Foundation

Embedding Properties and Anti-Foundation in Set Theory

✍ Roland Hinnion 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 496 KB