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

DOI10.1016/J.APAL.2021.102961MaRDI QIDQ2662702zbMATH OpenOpenAlexFDO

Authors Joshua Brot, Mengyang Cao, 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

amorphous setaxiom of choiceDedekind-finite setFraenkel-Mostowski modelHindman's theoremRamsey's theorem

Mathematics Subject Classification ID

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

Recommendations

• On a certain notion of finite and a finiteness class in set theory without choice
• Mathematics versus metamathematics in Ramsey theory of the real numbers
• Hindman's theorem and choice
• On Ramsey choice and partial choice for infinite families of \(n\)-element sets
• Choiceless Ramsey theory of linear orders

Cites work

• A note on Hindman-type theorems for uncountable cardinals
• A short proof of Hindman's theorem
• Adding dependent choice
• Algebra in the Stone-Čech compactification. Theory and applications
• Axiom of choice
• Choiceless Ramsey theory of linear orders
• Classes of Dedekind finite cardinals
• Definitions of finite
• Dependences between definitions of finiteness
• Effectiveness of Hindman’s Theorem for Bounded Sums
• Equivalents of the axiom of choice. 2nd ed
• Finite sums from sequences within cells of a partition of N
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• scientific article; zbMATH DE number 6011034 (Why is no real title available?)
• scientific article; zbMATH DE number 5003594 (Why is no real title available?)
• scientific article; zbMATH DE number 3732040 (Why is no real title available?)
• scientific article; zbMATH DE number 3430665 (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?)
• New bounds on the strength of some restrictions of Hindman’s Theorem
• On a certain notion of finite and a finiteness class in set theory without choice
• Open Problems in Partition Regularity
• Ramsey's theorem in the hierarchy of choice principles
• Some Aspects and Examples of Infinity Notions
• Strongly Amorphous Sets and Dual Dedekind Infinity
• Strongly summable ultrafilters, union ultrafilters, and the trivial sums property
• The axiom of choice
• The finite and the infinite
• The independence of Ramsey's theorem
• The independence of various definitions of finiteness
• The reverse mathematics of Hindman's theorem for sums of exactly two elements
• The structure of amorphous sets
• Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods

Cited in

(9)

• An analysis of Ramsey's theorem
• On the existence of permutations of infinite sets without fixed points in set theory without choice
• Hindman's theorem and choice
• Large free set
• Uniformly completely Ramsey sets
• 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
• Finiteness classes arising from Ramsey-theoretic statements in set theory without choice

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

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