The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory

Richard A. Shore, Theodore A. Slaman. The p-T Degrees of the Recursive Sets: Lattice Embeddings, Extensions of Embeddings and the Two-Quantifier Theory. Theoretical Computer Science, 97(2):263-284, 1992.

Abstract

Abstract is missing.