Sciweavers

49 search results - page 4 / 10
» apal 2006
Sort
View
APAL
2006
123views more  APAL 2006»
13 years 5 months ago
The ibT degrees of computably enumerable sets are not dense
Abstract. We show that the identity bounded Turing degrees of computably enumerable sets are not dense.
George Barmpalias, Andrew E. M. Lewis
APAL
2006
50views more  APAL 2006»
13 years 5 months ago
Independence in finitary abstract elementary classes
ence in Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kes
Tapani Hyttinen, M. Kesälä
APAL
2006
94views more  APAL 2006»
13 years 5 months ago
Parameterized counting problems
Parameterized complexity has, so far, been largely con ned to consideration of computational problems as decision or search problems. However, it is becoming evident that the param...
Catherine McCartin
APAL
2006
72views more  APAL 2006»
13 years 5 months ago
Constructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...
Bas Spitters
APAL
2006
50views more  APAL 2006»
13 years 5 months ago
Imaginaries in real closed valued fields
The paper shows elimination of imaginaries for real closed valued fields to the geometric sorts which were introduced in the [6]. We also show that this result is in some sense op...
T. Mellor