论文信息 - Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite

Inconsistency of The Axiom of Choice with The Positive Theory GPK+infinite

The idea of the positive theory is to avoid the Russell's paradox by postulating an axiom scheme of comprehension for formulas without "too much" negations. In this paper, we show that the axiom of choice is inconsistent with the positive theory GPK+∞.

Olivier Esser

[1] Furio Honsell,et al. Models of Self-Descriptive Set Theories , 1989 .

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

[3] Olivier Esser. Inconsistency of GPK + AFA , 1996, Math. Log. Q..

[4] Olivier Esser. On the Consistency of a Positive Theory , 1999, Math. Log. Q..

[5] 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 .

[6] Furio Honsell,et al. Choice Principles in Hyperuniverses , 1996, Ann. Pure Appl. Log..

[7] Furio Honsell,et al. A General Construction of Hyperuniverses , 1996, Theor. Comput. Sci..

[8] Olivier Esser. An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory , 1997, Math. Log. Q..

[9] Furio Honsell,et al. Addendum and Corrigendum: Choice Principles in Hyperuniverses , 1998, Ann. Pure Appl. Log..