Logically enforced subprinciples of ZFC

zbMATH Open1099.03045MaRDI QIDQ3367516FDOQ3367516

Authors Peter Schuster 

Publication date 24 January 2006

zbMATH Keywords

constructive set theoryintuitionistic set theorychoice principles

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Axiom of choice and related propositions (03E25) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 5064954
• On the conservativity of the axiom of choice over set theory
• THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory

Cited in

(3)

• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
• Kronecker's density theorem and irrational numbers in constructive reverse mathematics
• Passive induction and a solution to a Paris-Wilkie open question

This page was built for publication: Logically enforced subprinciples of ZFC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367516)