Reverse mathematics and equivalents of the axiom of choice

Details Reverse mathematics and equivalents of the axiom of choice Reverse mathematics and equivalents of the axiom of choice

2010-09-16

arxiv.org/abs/1009.3242v3

Mathematics

Logic

Scientific paper

We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal subfamily with the finite intersection property and the principle asserting that if $P$ is a property of finite character then every set has a $\subseteq$-maximal subset of which $P$ holds. We show that these principles and their variations have a wide range of strengths in the context of second-order arithmetic, from being equivalent to $\mathsf{Z}_2$ to being weaker than $\mathsf{ACA}_0$ and incomparable with $\mathsf{WKL}_0$. In particular, we identify a choice principle that, modulo $\Sigma^0_2$ induction, lies strictly below the atomic model theorem principle $\mathsf{AMT}$ and implies the omitting partial types principle $\mathsf{OPT}$.

Affiliated with

Also associated with

No associations

Rating

Reverse mathematics and equivalents of the axiom of choice 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 equivalents of the axiom of choice, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reverse mathematics and equivalents of the axiom of choice will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-28124