The Decidability of the Existential Theory of the Poset of Recursively Enumerable Degrees with Jump Relations
- 1 June 1996
- journal article
- Published by Elsevier in Advances in Mathematics
- Vol. 120 (1) , 1-142
- https://doi.org/10.1006/aima.1996.0033
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: