TY  - RPRT
TI  - The $Σ_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$ as an uppersemilattice with least and greatest element is decidable
AU  - James Barnes
PY  - 2017
UR  - https://arxiv.org/abs/1704.06347
ID  - 1704.06347
ER  -