𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The union axiom in zermelo set theory

✍ Scribed by Carlos G. González

Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
185 KB
Volume
36
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the axiom of extensionality in the po
On the axiom of extensionality in the positive set theory
✍ Olivier Esser 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 102 KB 👁 1 views

## Abstract This is a study of the relative interpretability of the axiom of extensionality in the positive set theory. This work has to be considered in the line of works of R. O. Gandy, D. Scott and R. Hinnion who have studied the relative interpretability of the axiom of extensionality in set th

The axiom of choice and the law of exclu
The axiom of choice and the law of excluded middle in weak set theories
✍ John L. Bell 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 116 KB 👁 1 views

## Abstract A weak form of intuitionistic set theory **WST** lacking the axiom of extensionality is introduced. While **WST** is too weak to support the derivation of the law of excluded middle from the axiom of choice, we show that bee.ng up **WST** with moderate extensionality principles or quoti

The natural numbers in constructive set
The natural numbers in constructive set theory
✍ Michael Rathjen 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 191 KB 👁 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various