The Σ 2 theory of D h ( ⩽ h O ) as an uppersemilattice with least and greatest element is decidable
From MaRDI portal
Publication:5037208
DOI10.3233/COM-210308MaRDI QIDQ5037208
No author found.
Publication date: 28 February 2022
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1704.06347
03Dxx: Computability and recursion theory