scientific article; zbMATH DE number 3847379

MaRDI QIDQ3317099zbMATH OpenFDO

Authors Vladimir Vayl

Publication date 1983

zbMATH Keywords

axiom of choiceaxiomatic theorycomprehension axiomsextension of Quine's NFfirst order logic with Hilbert's epsilon-operator

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other classical set theory (including functions, relations, and set algebra) (03E20) Axiom of choice and related propositions (03E25)

Recommendations

• On the computational content of the axiom of choice
• scientific article; zbMATH DE number 3999927
• Compactness and the axiom of choice
• scientific article; zbMATH DE number 1058157
• The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
• On the equivalence of an exhaustion principle and the axiom of choice
• On the conservativity of the axiom of choice over set theory
• On some Theorems Equivalent with the Axiom of Choice
• Independence of the partial axiom of choice of intuitionistic set theory
• scientific article; zbMATH DE number 3887674

Cited in

(3)

• An axiomatic approach to \(\varepsilon\)-contamination
• Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\)
• scientific article; zbMATH DE number 3882419 (Why is no real title available?)

This page was built for publication:

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