Autor:	Olivier Esser
Rok vydání:	2003
Předmět:	Discrete mathematics Axiom of extensionality Logic Non-well-founded set theory Positive set theory Extensionality Zermelo–Fraenkel set theory Constructive set theory Axiom of choice Urelement Mathematical economics Mathematics
Zdroj:	MLQ. 49:97-100
ISSN:	1521-3870 0942-5616
DOI:	10.1002/malq.200310009
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::814ad0a47230f0b6feea55460d764ee5 https://doi.org/10.1002/malq.200310009 Zobrazit plný text záznamu Plný text ve formátu PDF