par Hinnion, Roland ;Libert, Thierry
Référence The Journal of symbolic logic, 68, 3, page (828-836)
Publication Publié, 2003-09
Article révisé par les pairs
Résumé : 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.

Documents en relation

DI-fusion