Christine Ann Haught

From MaRDI portal
(Redirected from Person:676316)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Automorphisms in the PTIME-Turing degrees of recursive sets
Annals of Pure and Applied Logic
1997-06-12Paper
Embedding lattices into the wtt-degrees below 0′
Journal of Symbolic Logic
1995-08-10Paper
scientific article; zbMATH DE number 15488 (Why is no real title available?)1992-06-25Paper
Undecidability and initial segments of the (r.e.) tt-degrees
Journal of Symbolic Logic
1990-01-01Paper
Lattice Embeddings in the Recursively Enumerable Truth Table Degrees1987-01-01Paper
The degrees below a 1-generic degree < 0
Journal of Symbolic Logic
1986-01-01Paper


Research outcomes over time


This page was built for person: Christine Ann Haught