Inconsistency of the axiom of choice with the positive theory GPK(infinity)(+)

Authors
Esser, O
Citation
O. Esser, Inconsistency of the axiom of choice with the positive theory GPK(infinity)(+), J SYMB LOG, 65(4), 2000, pp. 1911-1916
Citations number
12
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
4
Year of publication
2000
Pages
1911 - 1916
Database
ISI
SICI code
0022-4812(200012)65:4<1911:IOTAOC>2.0.ZU;2-A
Abstract
Thr idea of the positive theory is to avoid the Russell's paradox by postul ating an axiom scheme of comprehension for formulas without "too much" nega tions. In this paper, we show that the axiom of choice is inconsistent with the positive theory GPK(infinity)(1).