Positive abstraction and extensionality
Hinnion, Roland ; Libert, Thierry
J. Symbolic Logic, Tome 68 (2003) no. 1, p. 828- 836 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a well-known set theory based on an extended positive comprehension scheme.
Publié le : 2003-09-14
Classification:  
@article{1058448441,
     author = {Hinnion, Roland and Libert, Thierry},
     title = {Positive abstraction and extensionality},
     journal = {J. Symbolic Logic},
     volume = {68},
     number = {1},
     year = {2003},
     pages = { 828- 836},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1058448441}
}

Hinnion, Roland; Libert, Thierry. Positive abstraction and extensionality. J. Symbolic Logic, Tome 68 (2003) no. 1, pp.  828- 836. http://gdmltest.u-ga.fr/item/1058448441/