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

Richard A. Shore, Theodore A. Slaman. The P-T-Degrees of the Recursive Sets: Lattice Embeddings, Extension of Embeddings and the Two Quantifier Theory. In Structure in Complexity Theory Conference. pages 68-76, 1989.

Abstract

Abstract is missing.