Klaus Ambos-Spies, Richard A. Shore. Undecidability and 1-Types in the Recursively Enumerable Degrees. Annals of Pure and Applied Logic, 63(1):3-37, 1993.
@article{Ambos-SpiesS93,
title = {Undecidability and 1-Types in the Recursively Enumerable Degrees},
author = {Klaus Ambos-Spies and Richard A. Shore},
year = {1993},
researchr = {https://researchr.org/publication/Ambos-SpiesS93},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {63},
number = {1},
pages = {3-37},
}