The axiom of choice
From MaRDI portal
Publication:5921596
zbMath0259.02051MaRDI QIDQ5921596
Publication date: 1973
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)
Related Items (only showing first 100 items - show all)
Weak axioms of choice for metric spaces ⋮ Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice ⋮ The finite subsets and the permutations with finitely many non‐fixed points of a set ⋮ MA(ℵ0) restricted to complete Boolean algebras and choice ⋮ Sequential and distributive forcings without choice ⋮ The strength of de Finetti's coherence theorem ⋮ Pervin spaces and Frith frames: bitopological aspects and completion ⋮ Models of \textsf{ZFA} in which every linearly ordered set can be well ordered ⋮ The permutations with n non‐fixed points and the subsets with n elements of a set ⋮ On Hausdorff operators in ZF$\mathsf {ZF}$ ⋮ MULTIPLE CHOICES IMPLY THE INGLETON AND KREIN–MILMAN AXIOMS ⋮ Independent families and some notions of finiteness ⋮ The axiom of choice in metric measure spaces and maximal \(\delta\)-separated sets ⋮ Three‐space type Hahn‐Banach properties ⋮ On infinite‐dimensional Banach spaces and weak forms of the axiom of choice ⋮ On iso-dense and scattered spaces without \textbf{AC} ⋮ On the deductive strength of the Erdős-Dushnik-Miller theorem and two order-theoretic principles ⋮ Factorials and the finite sequences of sets ⋮ The cofinality of the least Berkeley cardinal and the extent of dependent choice ⋮ Łoś's theorem and the axiom of choice ⋮ Two new equivalents of Lindelöf metric spaces ⋮ A note on the deductive strength of the Nielsen‐Schreier theorem ⋮ Some properties of infinite factorials ⋮ Relations between cardinalities of the finite sequences and the finite subsets of a set ⋮ On some open problems about \(P\)-spaces, strongly quasi Baire spaces and choice ⋮ Hindman’s theorem in the hierarchy of choice principles ⋮ SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY ⋮ On the equivalence in ZF+BPI of the Hahn-Banach theorem and three classical theorems ⋮ An anisotropic \textit{hp}-mesh adaptation method for time-dependent problems based on interpolation error control ⋮ Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC ⋮ On \(P\)-spaces and \(G_{\delta}\)-sets in the absence of the axiom of choice ⋮ Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice ⋮ Preserving Dependent Choice ⋮ DIVISIBILITY OF DEDEKIND FINITE SETS ⋮ Borel reducibility and symmetric models ⋮ On uncountable strongly concentrated sets of reals ⋮ A measure of non-compactness on T3½ spaces based on Arzelà-Ascoli type theorem ⋮ How to have more things by forgetting how to count them ⋮ Generating sets of free groups and the axiom of choice ⋮ Terminal notions in set theory ⋮ The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem ⋮ Notions of compactness for special subsets of ℝI and some weak forms of the axiom of choice ⋮ On the existence of almost disjoint and MAD families without $\mathsf {AC}$ ⋮ Unnamed Item ⋮ Juhász’s topological generalization of Neumer’s theorem may fail in 𝖹𝖥 ⋮ The Morris model ⋮ REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS ⋮ The Urysohn Lemma is independent of ZF + Countable Choice ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A NEGLECTED RESOLUTION OF RUSSELL’S PARADOX OF PROPOSITIONS ⋮ Infinite populations, choice and determinacy ⋮ Spaces of urelements ⋮ On first and second countable spaces and the axiom of choice ⋮ No decreasing sequence of cardinals ⋮ Semantic completeness of first-order theories in constructive reverse mathematics ⋮ The bridge principle for stable minimal surfaces ⋮ Finiteness classes and small violations of choice ⋮ Continuing horrors of topology without choice ⋮ Well ordered subsets of linearly ordered sets ⋮ Nonconstructive properties of well-ordered T\(_2\) topological spaces ⋮ Dependent choices and weak compactness ⋮ Ordering infinite utility streams comes at the cost of a non-Ramsey set ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Finiteness notions in fuzzy sets ⋮ Instances of dependent choice and the measurability of \(\aleph _{\omega +1}\) ⋮ Compactness and finite equivalence of infinite digraphs ⋮ Quasi-metrizability of products in ZF and equivalences of CUT(fin) ⋮ The strength of prime separation, sobriety, and compactness theorems ⋮ Kinna-Wagner selection principles, axioms of choice and multiple choice ⋮ Dedekind finiteness in topoi ⋮ A modal logic of consistency ⋮ On the relative strength of the representation theorems for \(l\)-groups ⋮ Partition principles and infinite sums of cardinal numbers ⋮ The fundamental aspects of the admissibility in the quadratic approximation of linear mappings ⋮ On the minimal cover property and certain notions of finite ⋮ Spaces of Urelements. II ⋮ Axiom of choice and chromatic number: Examples on the plane ⋮ Choice principles in hyperuniverses ⋮ On the strength of the finite intersection principle ⋮ Separable connected metric spaces need not have continuum size in \(\mathbf{ZF}\) ⋮ Representing multi-algebras by algebras, the axiom of choice, and the axiom of dependent choice ⋮ Algebraic properties of stochastic effectivity functions ⋮ Some consequences of Rado's selection lemma ⋮ von Neumann standard quantum mechanics is logically inconsistent ⋮ A Dedekind finite Borel set ⋮ Social processes and proofs of theorems and programs ⋮ Axiom of choice and chromatic number of the plane ⋮ Fodor's lemma can fail everywhere ⋮ Completeness of resolution revisited ⋮ Dedekind-Endlichkeit und Wohlordenbarkeit ⋮ Developments from Ernst Specker's work in set theory ⋮ On construction of equitable social welfare orders on infinite utility streams ⋮ A characterization of permutation models in terms of forcing ⋮ On the spectrum of orthomorphisms and Barbashin operators ⋮ Existence and uniqueness of the real closure of an ordered field without Zorn's lemma ⋮ Forms of choice in ring theory ⋮ On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem ⋮ Intergenerational equity, efficiency, and constructibility ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture
This page was built for publication: The axiom of choice
