Translator Disclaimer
September 2003 Positive abstraction and extensionality
Roland Hinnion, Thierry Libert
J. Symbolic Logic 68(3): 828-836 (September 2003). DOI: 10.2178/jsl/1058448441

Abstract

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.

Citation

Download Citation

Roland Hinnion. Thierry Libert. "Positive abstraction and extensionality." J. Symbolic Logic 68 (3) 828 - 836, September 2003. https://doi.org/10.2178/jsl/1058448441

Information

Published: September 2003
First available in Project Euclid: 17 July 2003

zbMATH: 1056.03027
MathSciNet: MR2004E:03084
Digital Object Identifier: 10.2178/jsl/1058448441

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
9 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.68 • No. 3 • September 2003
Back to Top