Premium
On the axiom of extensionality in the positive set theory
Author(s) -
Esser Olivier
Publication year - 2003
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310009
Subject(s) - extensionality , mathematics , zermelo–fraenkel set theory , axiom of choice , constructive set theory , urelement , interpretability , axiom , set (abstract data type) , pure mathematics , set theory , discrete mathematics , artificial intelligence , computer science , geometry , programming language
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.