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

DOI10.1016/j.apal.2021.102961OpenAlexW2981836109MaRDI QIDQ2662702

Mengyang Cao, Joshua Brot, David J. Fernández Bretón

Publication date: 14 April 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

axiom of choiceRamsey's theoremHindman's theoremDedekind-finite setamorphous setFraenkel-Mostowski model

Mathematics Subject Classification ID

Consistency and independence results (03E35) Applications of set theory (03E75) Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25)

Related Items (4)

Hindman's theorem and choice ⋮ On iso-dense and scattered spaces without \textbf{AC} ⋮ On some open problems about \(P\)-spaces, strongly quasi Baire spaces and choice ⋮ Hindman’s theorem in the hierarchy of choice principles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The finite and the infinite
• Algebra in the Stone-Čech compactification. Theory and applications
• Equivalents of the axiom of choice. 2nd ed
• Choiceless Ramsey theory of linear orders
• A note on Hindman-type theorems for uncountable cardinals
• Finite sums from sequences within cells of a partition of N
• A short proof of Hindman's theorem
• The structure of amorphous sets
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Strongly Summable Ultrafilters, Union Ultrafilters, and the Trivial Sums Property
• Effectiveness of Hindman’s Theorem for Bounded Sums
• The independence of various definitions of finiteness
• On a Certain Notion of Finite and a Finiteness Class in Set Theory without Choice
• Definitions of finite
• Dependences between definitions of finiteness
• Classes of Dedekind finite cardinals
• Adding dependent choice
• Ramsey's theorem in the hierarchy of choice principles
• Some Aspects and Examples of Infinity Notions
• Strongly Amorphous Sets and Dual Dedekind Infinity
• Open Problems in Partition Regularity
• New bounds on the strength of some restrictions of Hindman’s Theorem
• The reverse mathematics of Hindman’s Theorem for sums of exactly two elements
• The independence of Ramsey's theorem
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
• Axiom of choice
• The axiom of choice

This page was built for publication: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice