scientific article

zbMATH Open0534.03025MaRDI QIDQ3317099

Vladimir Vayl

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (2)

Inconsistency of the axiom of choice with the positive theory \(\text{GPK}_\infty^+\) ⋮ An axiomatic approach to \(\varepsilon\)-contamination

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the conservativity of the axiom of choice over set theory 👍 👎
• Compactness and the axiom of choice 👍 👎
• On the computational content of the axiom of choice 👍 👎
• Independence of the partial axiom of choice of intuitionistic set theory 👍 👎
• 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 some Theorems Equivalent with the Axiom of Choice 👍 👎

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)