Inconsistency of the Axiom of Choice with the positive theory

DOI10.2307/2695086zbMath0971.03051OpenAlexW2059980894WikidataQ114004516 ScholiaQ114004516MaRDI QIDQ2710618

Olivier Esser

Publication date: 24 April 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2695086

zbMATH Keywords

axiom of choicecomprehensionpositive theoryGPK theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25)

Related Items (1)

A topological set theory implied by ZF and GPK⁺_∞

Cites Work

• Partial differential equations and the calculus of variations. Essays in honor of Ennio De Giorgi. Volume I and II
• Addendum and corrigendum: ``Choice principle in hyperuniverses
• A general construction of hyperuniverses
• Choice principles in hyperuniverses
• On the Consistency of a Positive Theory
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory
• Inconsistency of GPK + AFA

This page was built for publication: Inconsistency of the Axiom of Choice with the positive theory