✦ LIBER ✦

Dependent choice, ‘quote’ and the clock

✍ Scribed by Jean-Louis Krivine

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 302 KB
Volume: 308
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00776-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Contraceptive choice: Turning back the c

Contraceptive choice: Turning back the clock

✍ E. Weisberg 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 69 KB

Contraceptive choices — turning back the

Contraceptive choices — turning back the clock

✍ E. Weisberg 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 932 KB

Fixed point theories and dependent choic

Fixed point theories and dependent choice

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

Dependent Choices and Anti-Foundation

✍ Hisato Muraki 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 267 KB

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.

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

Quote of the month

📂 Article 📅 2002 🏛 John Wiley and Sons ⚖ 128 KB