On the Consistency of a Positive Theory

DOI10.1002/malq.19990450110zbMath0924.03102OpenAlexW2084030866WikidataQ56453571 ScholiaQ56453571MaRDI QIDQ4238430

Olivier Esser

Publication date: 15 November 1999

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450110

zbMATH Keywords

comprehensiontree propertyinaccessible cardinalspositive theoryhyperuniversesglobal choiceGPK theoryramifiabilityKelley-Morse class theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Related Items (6)

Inconsistency of the Axiom of Choice with the positive theory ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ A topological set theory implied by ZF and GPK⁺_∞ ⋮ THE ITERATIVE CONCEPTION OF SET ⋮ A strong model of paraconsistent logic ⋮ On topological set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Choice principles in hyperuniverses
• The consistency problem for positive comprehension principles
• An Interpretation of the Zermelo‐Fraenkel Set Theory and the Kelley‐Morse Set Theory in a Positive Theory

This page was built for publication: On the Consistency of a Positive Theory