On the strength of the finite intersection principle

Details On the strength of the finite intersection principle On the strength of the finite intersection principle

2011-09-15

arxiv.org/abs/1109.3374v1

Mathematics

Logic

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

Scientific paper

We study the logical content of several maximality principles related to the finite intersection principle ($F\IP$) in set theory. Classically, these are all equivalent to the axiom of choice, but in the context of reverse mathematics their strengths vary: some are equivalent to $\ACA$ over $\RCA$, while others are strictly weaker, and incomparable with $\WKL$. We show that there is a computable instance of $F\IP$ all of whose solutions have hyperimmune degree, and that every computable instance has a solution in every nonzero c.e.\ degree. In terms of other weak principles previously studied in the literature, the former result translates to $F\IP$ implying the omitting partial types principle ($\mathsf{OPT}$). We also show that, modulo $\Sigma^0_2$ induction, $F\IP$ lies strictly below the atomic model theorem ($\mathsf{AMT}$).

Affiliated with

Also associated with

No associations

Rating

On the strength of the finite intersection principle 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 On the strength of the finite intersection principle, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the strength of the finite intersection principle will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-673541