论文信息 - Positive abstraction and extensionality

Positive abstraction and extensionality

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.

Roland Hinnion | Thierry Libert | Thierry Libert | R. Hinnion

[1] Marco Forti,et al. The Consistency Problem for Positive Comprehension Principles , 1989, J. Symb. Log..

[2] Maurice Boffa,et al. Interprétations mutuelles entre une théorie positive des ensembles et une extension de la théorie de Kelley-Morse , 1997 .

[3] Thoralf Skolem,et al. Investigations on a comprehension axiom without negation in the defining propositional functions , 1960, Notre Dame J. Formal Log..

[4] Olivier Esser. Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite , 2000, J. Symb. Log..

[5] Roland Hinnion. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic , 1994, Notre Dame J. Formal Log..

[6] Thoralf Skolem. Studies on the axiom of comprehension , 1963, Notre Dame J. Formal Log..

[7] Ross T. Brady. The consistency of the axioms of abstraction and extensionality in a three-valued logic , 1971, Notre Dame J. Formal Log..