• Corpus ID: 16422246

THE AXIOM OF CHOICE

@inproceedings{Russell2003THEAO,
  title={THE AXIOM OF CHOICE},
  author={Bertrand Russell},
  year={2003}
}
We propose that failures of the axiom of choice, that is, surjective functions admitting no sections, can be reasonably classified by means of invariants borrowed from algebraic topology. We show that cohomology, when defined so that its usual exactness properties hold even in the absence of the axiom of choice, is adequate for detecting failures of this axiom in the following sense. If a set X, viewed as a discrete space, has trivial first cohomology for all coefficient groups, then every J… 
Notions of compactness for special subsets of ℝ I and some weak forms of the axiom of choice
  • M. Morillon
  • Mathematics, Computer Science
    The Journal of Symbolic Logic
  • 2010
TLDR
It is shown that the countable axiom of choice of choice for finite sets implies that F is compact, and the weak compactness of the closed unit ball of the Hilbert space ℓ 2 (I) is (Loeb-)compact in the weak topology.
The Axiom of Choice and Related Topics
In this paper I will be discussing the Axiom of Choice and its equivalent statements. The Axiom of Choice is an axiom of Zermelo-Fraenkel set theory that states that given a collection of non-empty
On the relation of three theorems of functional analysis to the axiom of choice
In the following, we prove by extending methods of Rhineghost, that both the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for real
Weak axioms of choice for metric spaces
In the framework of ZF, i.e., Zermelo-Fraenkel set theory without the axiom of choice AC, we show that if the family of all non-empty, closed subsets of a metric space (X, d) has a choice function,
Every set has at least three choice functions
This paper continues the study of the Axiom of Choice by E. Z e r m e l o [Neuer Beweis für die Möglichkeit einer Wohlordung, Math. Annalen, 65 (1908), 107–128; translated in van Heijenoort 1967,
Partition models, Permutations of infinite sets without fixed points, Variants of CAC, and weak forms of AC
  • Amitayu Banerjee
  • Mathematics
  • 2021
We study new relations of the following statements with weak choice principles in ZF (ZermeloFraenkel set theory without the Axiom of Choice (AC)) and ZFA (ZF with the axiom of extensionality
On the Leibniz–Mycielski axiom in set theory
Motivated by Leibniz’s thesis on the identity of indiscernibles, Mycielski introduced a set-theoretic axiom, here dubbed the Leibniz–Mycielski axiom LM, which asserts that for each pair of distinct
Products of some special compact spaces and restricted forms of AC
TLDR
In ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC), for every set I and for every ordinal number α ≥ ω, the following statements are equivalent: The Tychonoff product of many non-empty finite discrete subsets of I is compact.
Iterated failures of choice
We make an important observation regarding iterated symmetric extensions which allows us to easily iterate certain counterexamples to the axiom of choice. We use this to improve previous results and
On Sequentially Compact Subspaces of ℝ without the Axiom of Choice
TLDR
It is shown that forms 152 and 214 of Howard and Rubin are equivalent and that every non-well-orderable set is the union of a pairwise disjoint well- orderable family of denumerable sets in ZF.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 63 REFERENCES
The axiom of choice for finite sets
If 3f is a family of nonempty sets, then by a choice function on 3f we mean a function f on 3f such that f(S) ES for every S Ez3. The axiom of choice for finite sets may be formulated as follows:
A System of Axiomatic Set Theory-Part VI
  • P. Bernays
  • Mathematics, Computer Science
    J. Symb. Log.
  • 1948
TLDR
This chapter defines a function to be a class of pairs in which different elements always have different first members such that, to every element a of its domain there is a unique element b of its converse domain determined by the condition 〈 a, b 〉 ηF .
Axiom of choice for finite sets.
Publisher Summary This chapter discusses particular cases of the axiom of choice that arise by giving n a finite value, where m is left arbitrary. According to N. Lusin, two cardinal numbers m and n
Boolean-algebras in a Localic Topos
The aim of this paper is to analyse the category of Boolean algebras in the topos of sheaves on a given locale 9, with particular interest in the locale F(B) of filters of a boolean algebra B in this
A model of set-theory in which every set of reals is Lebesgue measurable*
We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed. In fact, even adjoining an axiom DC to ZF,
The theory of representations for Boolean algebras
Boolean algebras are those mathematical systems first developed by George Boole in the treatment of logic by symbolic methodsf and since extensively investigated by other students of logic, including
Axiom of choice and complementation
It is shown that an intuitionistic model of set theory with the axiom of choice has to be a classical oneO A topos 6 is a category which has finite limits (i.e. finite products, intersections and a
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
TLDR
This chapter describes the formal system CZF+DC and its type theoretic interpretation and describes the characterization of a collection of objects as the smallest collection satisfying certain closure conditions.
Toposes and local set theories - an introduction
  • J. Bell
  • Mathematics, Computer Science
  • 1988
TLDR
This book introduces toposes, a concept of category theory including geometric morphisms, power objects, and some analogies with the Theory of Relativity, the negation of constancy.
Limitations on the Fraenkel-Mostowski Method of Independence Proofs
  • P. Howard
  • Mathematics, Computer Science
    J. Symb. Log.
  • 1973
TLDR
It is shown that certain statements cannot be proved by the Fraenkel-Mostowski method and the following hold: 1. the axiom of choice for sets of finite sets implies the axido of choiceFor sets of well-orderable sets and 2. the Boolean prime ideal theorem implies a weakened form of Sikorski's theorem.
...
1
2
3
4
5
...