✦ LIBER ✦

Foundation versus Induction in Kripke-Platek Set Theory

✍ Scribed by Domenico Zambella

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kripke-Platek Set Theory and the Anti-Fo

✍ Michael Rathjen 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB

Relativized ordinal analysis: The case o

✍ Rathjen, Michael 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 396 KB

A VERSION OF KRIPKE-PLATEK SET THEORY WH

✍ Gerhard Jäger 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 346 KB

Rank in set theory without foundation

✍ M. Victoria Marshall; M. Gloria Schwarze 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 66 KB

Embedding Properties and Anti-Foundation

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

The Converse to a Metatheorem in Gödel S

✍ Richard A. Platek 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB