Sciweavers

JSYML
2010
73views more  JSYML 2010»
13 years 2 months ago
On Downey's conjecture
We prove that the degree structures of the d.c.e. and the 3-c.e. Turing degrees are not elementarily equivalent, thus refuting a conjecture of Downey. More specifically, we show t...
Marat M. Arslanov, Iskander Sh. Kalimullin, Steffe...