Reverse mathematics and properties of finite character

Details Reverse mathematics and properties of finite character Reverse mathematics and properties of finite character

2011-09-15

arxiv.org/abs/1109.3378v2

Mathematics

Logic

This paper corresponds to section 4 of arXiv:1009.3242, "Reverse mathematics and equivalents of the axiom of choice", which ha

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Reverse mathematics and properties of finite character does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reverse mathematics and properties of finite character, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reverse mathematics and properties of finite character will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-673549