@misc{indiciae872b33724141,
  title = {The \$Σ\_2\$ theory of \$\textbackslash{}mathscr\{D\}\_h(\textbackslash{}leq\_h \textbackslash{}mathcal\{O\})\$ as an uppersemilattice with least and greatest element is decidable},
  author = {James Barnes},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06347},
  note = {Source identifier: 1704.06347}
}