![](/img/cover-not-exists.png)
The Decidability of the Existential Theory of the Poset of Recursively Enumerable Degrees with Jump Relations
Steffen Lempp, Manuel LermanVolume:
120
Year:
1996
Language:
english
Pages:
142
Journal:
Advances in Mathematics
DOI:
10.1006/aima.1996.0033
File:
PDF, 3.77 MB
english, 1996