𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the axiom of extensionality in the positive set theory

✍ Scribed by Olivier Esser

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
102 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 theories of Zermelo and Zermelo‐Fraenkel.

πŸ“œ SIMILAR VOLUMES

The union axiom in zermelo set theory
The union axiom in zermelo set theory
✍ Carlos G. GonzΓ‘lez πŸ“‚ Article πŸ“… 1990 πŸ› John Wiley and Sons 🌐 English βš– 185 KB πŸ‘ 1 views
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

On the Theories of Triangular Sets
On the Theories of Triangular Sets
✍ Philippe Aubry; Daniel Lazard; Marc Moreno Maza πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 354 KB

Different notions of triangular sets are presented. The relationship between these notions are studied. The main result is that four different existing notions of good triangular sets are equivalent.