Sciweavers

14 search results - page 2 / 3
» Bounding nonsplitting enumeration degrees
Sort
View
LOGCOM
2007
72views more  LOGCOM 2007»
13 years 7 months ago
Post's Programme for the Ershov Hierarchy
This paper extends Post’s programme to finite levels of the Ershov hierarchy of ∆2 sets. Our initial characterisation, in the spirit of Post [27], of the degrees of the immune...
Bahareh Afshari, George Barmpalias, S. Barry Coope...
ANTS
2008
Springer
83views Algorithms» more  ANTS 2008»
13 years 9 months ago
Enumeration of Totally Real Number Fields of Bounded Root Discriminant
We enumerate all totally real number fields F with root discriminant F 14. There are 1229 such fields, each with degree [F : Q] 9. In this article, we consider the following prob...
John Voight
APAL
2005
67views more  APAL 2005»
13 years 7 months ago
The minimal e-degree problem in fragments of Peano arithmetic
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: In any model M of 2 induction, there is ...
Marat M. Arslanov, Chi Tat Chong, S. Barry Cooper,...
ESA
1994
Springer
138views Algorithms» more  ESA 1994»
13 years 11 months ago
Efficient Construction of a Bounded Degree Spanner with Low Weight
Let S be a set of n points in IRd and let t > 1 be a real number. A t-spanner for S is a graph having the points of S as its vertices such that for any pair p, q of points ther...
Sunil Arya, Michiel H. M. Smid
JSYML
2008
108views more  JSYML 2008»
13 years 7 months ago
Randomness, lowness and degrees
We say that A LR B if every B-random number is A-random. Intuitively this means that if oracle A can identify some patterns on some real , oracle B can also find patterns on . In o...
George Barmpalias, Andrew E. M. Lewis, Mariya Ivan...