Finiteness and choice
Volume 173 / 2002
Fundamenta Mathematicae 173 (2002), 57-76
MSC: 03E30, 03E25, 03E35.
DOI: 10.4064/fm173-1-4
Abstract
We deal with weak choice principles of the form: Every “finite” family of non-empty sets has a choice function, where “finite” stands for one of several different definitions of finiteness that are not equivalent unless we assume the axiom of choice (AC). Several relations of implication and independence are established. In the process, we answer a few open questions about the relations between different definitions of finiteness.
