Honest elementary degrees and degrees of relative provability without the cupping property
Abstract
An element $a$ of a lattice cups to an element $b > a$ if there is a $c < b$ such that $a \cup c = b$. An element of a lattice has the cupping property if it cups to every element above it. We prove that there are non-zero honest elementary degrees that do not have the cupping property, which answers a question of Kristiansen, Schlage-Puchta, and Weiermann. In fact, we show that if $\mathbf b$ is a sufficiently large honest elementary degree, then there is a non-zero honest elementary degree $\mathbf a <_{\mathrm E} \mathbf b$ that does not cup to $\mathbf b$. For comparison, we modify a result of Cai to show that in several versions of the related degrees of relative provability the preceding property holds for all non-zero $\mathbf b$, not just sufficiently large $\mathbf b$.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2016
- DOI:
- 10.48550/arXiv.1604.06592
- arXiv:
- arXiv:1604.06592
- Bibcode:
- 2016arXiv160406592S
- Keywords:
-
- Mathematics - Logic