On the decidability of the ${\Sigma }_2$ theories of the arithmetic and hyperarithmetic degrees as uppersemilattices

James Barnes

We establish the decidability of the ${\Sigma }_2$ theory of both the arithmetic and hyperarithmetic degrees in the language of uppersemilattices i.e. the language with $\le ,0$ and $\sqc…