✦ LIBER ✦

A Non-Representation Theorem for Gödel-Bernays Set Theory

✍ Scribed by Erik Ellentuck

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a Subtheory of the Bernays-Gödel Set

✍ Jannis Manakos 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 97 KB

An Axiomatics for Nonstandard Set Theory

✍ P. V. Andreev and E. I. Gordon 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 408 KB

Gödel Theorems for Non-Constructive Logi

✍ Barkley Rosser 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 911 KB

Redundancies in the Hilbert-Bernays Deri

✍ R. G. Jeroslow 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 223 KB

On a Set Theory of Bernays

✍ Leslie H. Tharp 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 335 KB

The Converse to a Metatheorem in Gödel S

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