## The ∀∃ theory of D(≤, ∨, ′ ) is undecidable (2003)

by
Richard A. Shore
,
Theodore A. Slaman

Venue: | In Proceedings of Logic Colloquium |

Citations: | 2 - 0 self |

### BibTeX

@INPROCEEDINGS{Shore03the∀∃,

author = {Richard A. Shore and Theodore A. Slaman},

title = {The ∀∃ theory of D(≤, ∨, ′ ) is undecidable},

booktitle = {In Proceedings of Logic Colloquium},

year = {2003},

publisher = {}

}

### OpenURL

### Abstract

We prove that the two quantifier theory of the Turing degrees with order, join and jump is undecidable.