Hindman’s theorem in the hierarchy of choice principles

DOI10.1142/S0219061323500022arXiv2203.06156WikidataQ123335347 ScholiaQ123335347MaRDI QIDQ6146541FDOQ6146541

Authors: David J. Fernández-Bretón 

Publication date: 31 January 2024

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Abstract: In the context of $mathsfZF$, 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 $mathsfAC$.

Full work available at URL: https://arxiv.org/abs/2203.06156

zbMATH Keywords

Hindman's theoremweak choice principlesFraenkel-Mostowski modelchoiceless set theory

Mathematics Subject Classification ID

Partition relations (03E02) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Axiomatics of classical set theory and its fragments (03E30) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• The axiom of choice
• Finite sums from sequences within cells of a partition of N
• Title not available (Why is that?)
• Title not available (Why is that?)
• The finite and the infinite
• Title not available (Why is that?)
• Axiom of choice
• Title not available (Why is that?)
• Some Aspects and Examples of Infinity Notions
• On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets
• Ramsey's theorem in the hierarchy of choice principles
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• Title not available (Why is that?)
• Ramsey's theorem and König's lemma
• Adding dependent choice
• Hindman's theorem and choice
• Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

Cited In (1)

• On some open problems about \(P\)-spaces, strongly quasi Baire spaces and choice

This page was built for publication: Hindman’s theorem in the hierarchy of choice principles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6146541)