Personal profile
Research Interests
- logic
- recursion theory
- complexity theory
- mathematical logic
Disciplines
- Physical Sciences and Mathematics
Research output
- 6 Article
-
Automorphisms in the PTIME-Turing degrees of recursive sets☆
Haught, C. A., Haught, C. A. & Slaman, T. A., Mar 6 1997, In: Annals of Pure and Applied Logic. 84, 1Research output: Contribution to journal › Article › peer-review
-
Embedding lattices into the wtt -degrees below 0′
Downey, R. & Haught, C., Dec 1 1994, In: Journal of Symbolic Logic. 59, 4Research output: Contribution to journal › Article › peer-review
-
Undecidability and Initial Segments of the (R.E.) TT-Degrees
Haught, C. A. & Shore, R. A., Sep 1 1990, In: Journal of Symbolic Logic. 55, 3Research output: Contribution to journal › Article › peer-review
-
Undecidability and initial segments of the wtt-degrees ≤0′
Haught, C. A., Haught, C. A. & Shore, R. A., Jan 1 1990, In: Default journal.Research output: Contribution to journal › Article › peer-review
-
Lattice embeddings in the recursively enumerable truth table degrees
Haught, C. A., Feb 1 1987, In: Transactions of the American Mathematical Society. 301, 2Research output: Contribution to journal › Article › peer-review