Logically enforced subprinciples of ZFC

zbMATH Open1099.03045MaRDI QIDQ3367516FDOQ3367516

Authors: Peter Schuster 

Publication date: 24 January 2006

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

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)

Cited In (3)

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

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)