Reverse mathematics and properties of finite character

DOI10.1016/J.APAL.2012.01.007MaRDI QIDQ435197zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Damir D. Dzhafarov, Carl Mummert

Publication date 11 July 2012

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

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

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)

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.

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

Cites work

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

Cited in

(3)

• On the strength of the finite intersection principle
• Any FIP real computes a 1-generic
• 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)