Hindman’s theorem in the hierarchy of choice principles

DOI10.1142/S0219061323500022MaRDI QIDQ6146541zbMATH OpenWikidataFDO

Authors David J. Fernández-Bretón

Publication date 31 January 2024

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

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)

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$.

Cites work

• scientific article; zbMATH DE number 3732040 (Why is no real title available?)
• scientific article; zbMATH DE number 1201510 (Why is no real title available?)
• scientific article; zbMATH DE number 3269026 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3368622 (Why is no real title available?)
• Adding dependent choice
• Axiom of choice
• Finite sums from sequences within cells of a partition of N
• Finiteness classes arising from Ramsey-theoretic statements in set theory without choice
• Hindman's theorem and choice
• On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets
• Ramsey's theorem and König's lemma
• Ramsey's theorem in the hierarchy of choice principles
• Some Aspects and Examples of Infinity Notions
• The axiom of choice
• The finite and the infinite
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods

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)