Christine Ann Haught

Automorphisms in the PTIME-Turing Degrees of Recursive Sets

Theodore A. Slaman, Christine Ann Haught, 1997, Ann. Pure Appl. Log..

Undecidability and initial segments of the (r.e.) tt-degrees

Richard A. Shore, Christine Ann Haught, R. Shore, 1990, Journal of Symbolic Logic.

Embedding lattices into the wtt-degrees below 0′

Rodney G. Downey, Christine Ann Haught, R. Downey, 1994, Journal of Symbolic Logic.

The Degrees Below A 1-Generic Degree < 0?

Christine Ann Haught, 1986, J. Symb. Log..

Undecidability and initial segments of the wtt-degrees ≤0′

Richard A. Shore, Christine Ann Haught, 1990 .