scientific article
From MaRDI portal
Publication:3317099
zbMATH Open0534.03025MaRDI QIDQ3317099
Publication date: 1983
Title of this publication is not available (Why is that?)
axiom of choiceaxiomatic theorycomprehension axiomsextension of Quine's NFfirst order logic with Hilbert's epsilon-operator
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)