✦ LIBER ✦

Existence of an inseparable pair in the recursive theory of admissible sets

✍ Scribed by V. D. Rudnev

Book ID: 105424157
Publisher: Springer US
Year: 1988
Tongue: English
Weight: 385 KB
Volume: 27
Category: Article
ISSN: 0002-5232
DOI: 10.1007/bf01978301

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unordered pairs in the set theory of Bou

Unordered pairs in the set theory of Bourbaki 1949

✍ A. R. D. Mathias 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 202 KB

Expressibility in the elementary theory

Expressibility in the elementary theory of recursively enumerable sets with realizability logic

✍ R. K. Prank 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 735 KB

On the existence of an empty set in set-

On the existence of an empty set in set-theoretical models

✍ Abian, Alexander ;LaMacchia, Samuel 📂 Article 📅 1967 🏛 Springer-Verlag ⚖ 166 KB

The lack of definable witnesses and prov

The lack of definable witnesses and provably recursive functions in intuitionistic set theories

✍ Harvey M Friedman; Andrej Ščedrov 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 691 KB

The existence of a short sequence of adm

The existence of a short sequence of admissible pivots to an optimal basis in LP and LCP

✍ Komei Fukuda; Hans-Jakob Lüthi; Makoto Namiki 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 740 KB

An Interpretation of the Zermelo-Fraenke

An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory

✍ Olivier Esser 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 530 KB

## Abstract An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK~∞~^+^. We show that in these conditions, we can interprete the Kell