ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES
From MaRDI portal
Publication:4600467
DOI10.1017/jsl.2017.51zbMath1391.03031arXiv1606.07392OpenAlexW2963134242MaRDI QIDQ4600467
Publication date: 11 January 2018
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.07392
Related Items (1)
Cites Work
This page was built for publication: ON THE DECIDABILITY OF THE THEORIES OF THE ARITHMETIC AND HYPERARITHMETIC DEGREES AS UPPERSEMILATTICES