The theory of the recursively enumerable weak truth-table degrees is undecidable
| Publication | Article in Journal of Symbolic Logic, published September 1992 |
|---|---|
| Authors | Klaus Ambos-Spies, André Nies, Richard A. Shore |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…