Skip to main content

Inconsistency of the Axiom of Choice with the positive theory

  • Olivier Esser (a1)

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 .

Hide All
[1]Esser, O., Inconsistency of GPK + AFA, Mathematical Logic Quarterly, vol. 42 (1996), pp. 104108.
[2]Esser, O., An interpretation of the Zermelo-Fraenkel set theory and the Kelley-Morse set theory in a positive theory, Mathematical Logic Quarterly, vol. 43 (1997), pp. 369377.
[3]Esser, O., InterprÉtations mutuelles entre une theorie positive des ensembles et une extension de la theorie de Kelley-Morse., Ph.D. thesis, UniversitÉ Libre de Bruxelles, 1997, unpublished, available at
[4]Esser, O., On the consistency of a positive theory, MLQ. Mathematical Logic Quarterly, vol. 45 (1999), pp. 105116.
[5]Forti, M. and Hinnion, R., The consistency problem for positive comprehension principles, this Journal, vol. 54 (1989), pp. 14011418.
[6]Forti, M. and Honsell, R., Models of self-descriptive set theories, Partial differential equations and the calculus of variations, essays in honor of Ennio De Giorgi vol. i, BirkhÄuser Boston, Boston, MA, 1989, pp. 473518.
[7]Forti, M. and Honsell, R., Weak foundation and antifoundation properties of positively comprehensive hyperuniverses, L'anti-fondation en logique et en theorie des ensembles (Hinnion, R., editor), Cahiers du Centre de Logique, UnivercitÉ Catholique Louvain, Louvain-la-Neuve, 1992, pp. 3143.
[8]Forti, M. and Honsell, R., Choice principles in hyperuniverses, Annals of Pure and Applied Logic, vol. 77 (1996), pp. 3552.
[9]Forti, M. and Honsell, R., A general construction of hyperuniverses, Theoretical Computer Science, vol. 156 (1996), pp. 203215.
[10]Forti, M. and Honsell, R., Addendum and corrigendum to “Choice principles in hyperuniverses” [Annals of Pure and Applied Logic 11 (1996), 35–52], Annals of Pure and Applied Logic, vol. 92 (1998), pp. 211214.
[11]Malitz, R.J., Set theory in which the axiom of foundation fails., Ph.D. thesis, UCLA, Los Angeles, 1976, unpublished.
[12]Weydert, E., How to approximate the naive comprehension scheme inside of classical logic, Ph.D. thesis, Bonner Mathematische Schriften 194, Bonn, 1989.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed