• Corpus ID: 247411233

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. 

Figures from this paper

References

SHOWING 1-10 OF 16 REFERENCES

Ramsey’s theorem and König’s Lemma

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

  • A. Blass
  • Mathematics, Economics
    Journal of Symbolic Logic
  • 1977
TLDR
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

THE AXIOM OF CHOICE

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

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

  • E. Tachtsis
  • Mathematics, Philosophy
    The Journal of Symbolic Logic
  • 2016
TLDR
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

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.