# Hindman's Theorem in the hierarchy of Choice Principles

@inproceedings{FernandezBreton2022HindmansTI, title={Hindman's Theorem in the hierarchy of Choice Principles}, author={David J. Fern'andez-Bret'on}, year={2022} }

In the context of ZF, we analyze a version of Hindman’s finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the AC.

## References

SHOWING 1-10 OF 16 REFERENCES

### Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

- MathematicsAnn. Pure Appl. Log.
- 2021

### Ramsey’s theorem and König’s Lemma

- Mathematics, EconomicsArch. Math. Log.
- 2007

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.

### Ramsey's theorem in the hierarchy of choice principles

- Mathematics, EconomicsJournal of Symbolic Logic
- 1977

This paper proves or refute the provability of each of the possible implications between Ramsey's theorem and the weak axioms of choice mentioned in Appendix A.3 of Jech's book.

### Finite Sums from Sequences Within Cells of a Partition of N

- MathematicsJ. Comb. Theory, Ser. A
- 1974

### THE AXIOM OF CHOICE

- Mathematics
- 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…

### Review: J. D. Halpern, H. Lauchli, A Partition Theorem; J. D. Halpern, A. Levy, The Boolean Prime Ideal Theorem Does Not Imply the Axiom of Choice

- EconomicsJournal of Symbolic Logic
- 1974

consistency of the axiom of choice. In the seventh chapter the Fraenkel-Mostowski proof of the independence of the axiom of choice is given. First, a permutation of the universe is used to obtain…

### ON RAMSEY’S THEOREM AND THE EXISTENCE OF INFINITE CHAINS OR INFINITE ANTI-CHAINS IN INFINITE POSETS

- Mathematics, PhilosophyThe Journal of Symbolic Logic
- 2016

It is shown that there is a model of ZF which satisfies “every infinite partially ordered set has either an infinite chain or an infinite anti-chain” and the negation of Ramsey's Theorem, and it is proved that Ramsey’s Theorem (hence, the above principle for infinite partiallyordered sets) is true in Mostowski's linearly ordered model.

### Consequences of the axiom of choice

- Mathematics
- 1998

Numerical list of forms Topical list of forms Models Notes References for relations between forms Bibliography Table 1 and Table 2 Subject index Author index Software.