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^+ \infty$
Publié le : 2000-12-14
Classification:
GPK Theory,
Positive Theory,
Axiom of Choice,
03E70,
03E25,
03E35
@article{1183746274,
author = {Esser, Olivier},
title = {Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+ \infty$},
journal = {J. Symbolic Logic},
volume = {65},
number = {1},
year = {2000},
pages = { 1911-1916},
language = {en},
url = {http://dml.mathdoc.fr/item/1183746274}
}
Esser, Olivier. Inconsistency of the Axiom of Choice with the Positive Theory $GPK^+ \infty$. J. Symbolic Logic, Tome 65 (2000) no. 1, pp. 1911-1916. http://gdmltest.u-ga.fr/item/1183746274/