The $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$ as an uppersemilattice with least and greatest element is decidable

DOI10.3233/COM-210308arXiv1704.06347MaRDI QIDQ6285765

Publication date: 20 April 2017

Recursive functions and relations, subrecursive hierarchies (03D20) Other degrees and reducibilities in computability and recursion theory (03D30)

This page was built for publication: The $\Sigma_2$ theory of $\mathscr{D}_h(\leq_h \mathcal{O})$ as an uppersemilattice with least and greatest element is decidable