63
Voted
JSYML
2010
14 years 11 months ago
2010
75
Voted
JSYML
2010
14 years 11 months ago
2010
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...
72
Voted
JSYML
2010
14 years 11 months ago
2010
We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring.
83
Voted
JSYML
2010
14 years 11 months ago
2010
We extend the notion of limitwise monotonic functions to include arbitrary computable domains. We then study which sets and degrees are support increasing (support strictly increas...
93
Voted
JSYML
2010
14 years 11 months ago
2010
Abstract. In [8] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving...