The Decidability of the Existential Theory of the Poset of Recursively Enumerable Degrees with Jump Relations

Advances in Mathematics - Tập 120 - Trang 1-142 - 1996
Steffen Lempp1, Manuel Lerman2
1Department of Mathematics, University of Wisconsin, Madison, Wisconsin, 53706
2Department of Mathematics, University of Connecticut, Storrs, Connecticut, 06269

Thông tin
Thông tin xuất bản

Advances in Mathematics

Tập 120

1-142

Thông tin tác giả