Reverse mathematics and properties of finite character

DOI10.1016/J.APAL.2012.01.007zbMATH Open1253.03032DBLPjournals/apal/DzhafarovM12arXiv1109.3378OpenAlexW2010324947WikidataQ57951146 ScholiaQ57951146MaRDI QIDQ435197FDOQ435197

Authors: Damir D. Dzhafarov, Carl Mummert 

Publication date: 11 July 2012

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

Abstract: We study the reverse mathematics of the principle stating that, for every property of finite character, every set has a maximal subset satisfying the property. In the context of set theory, this variant of Tukey's lemma is equivalent to the axiom of choice. We study its behavior in the context of second-order arithmetic, where it applies to sets of natural numbers only, and give a full characterization of its strength in terms of the quantifier structure of the formula defining the property. We then study the interaction between properties of finite character and finitary closure operators, and the interaction between these properties and a class of nondeterministic closure operators.

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

Recommendations

• Characterizing von Neumann regular rings in reverse mathematics
• Reverse mathematics and algebraic field extensions
• Reverse mathematics and fully ordered groups
• Reverse mathematics and semisimple rings
• REVERSE MATHEMATICS OF MF SPACES
• Reverse mathematics and well-ordering principles
• scientific article; zbMATH DE number 2019844
• Reverse Mathematics
• Representations of Reals in Reverse Mathematics
• Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

zbMATH Keywords

axiom of choicereverse mathematicsclosure operatorfinite characterTukey's lemma

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiom of choice and related propositions (03E25) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Subsystems of second order arithmetic
• REVERSE MATHEMATICS OF MF SPACES
• Equivalents of the axiom of choice. 2nd ed
• Reverse mathematics and properties of finite character

Cited In (3)

• Any FIP real computes a 1-generic
• On the strength of the finite intersection principle
• Reverse mathematics and properties of finite character

This page was built for publication: Reverse mathematics and properties of finite character

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