FINITE VERSIONS OF THE AXIOM OF CHOICE,
Abstract
We consider A. Mostowski's axioms of choice for finite sets, (n), which state that for every set X whose elements are n-element sets, there is a function fX such that fX (x) epsilon X for each x epsilon X. We extend some of Mostowski's results concerning necessary (respectively, sufficient) conditions for implications of the form ((m1) and (m2) and ... and (mk)) approaches (n), and we introduce some new necessary (respectively, sufficient) conditions for this implication. Some of these results are in terms of an associated number-theoretic function mu(n), defined for integers n = or > 2 as the greatest prime p such that n is expressible as the sum of primes not less than p. Properties of mu(n) in relation to the axioms of choice for finite sets are obtained by consideration of modified versions of Bertrand's Postulate. Some of the independence theorems are obtained by constructing Fraenkel-Mostowski-type models for set theory. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1967
- Accession Number
- AD0655086
Entities
People
- Martin Michael Zuckerman
Organizations
- New York University