35 search results - page 5 / 7 » jsyml 2010 |
JSYML
2010
13 years 3 months ago
2010
Let M = M, +, <, 0, S be a linear o-minimal expansion of an ordered group, and G = G, ⊕, eG an n-dimensional group definable in M. We show that if G is definably connected w...
JSYML
2010
13 years 3 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...
JSYML
2010
13 years 3 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...
JSYML
2010
13 years 3 months ago
2010
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woo...
JSYML
2010
12 years 12 months ago
2010
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...