#### Filter Results:

- Full text PDF available (28)

#### Publication Year

1983

2017

- This year (3)
- Last 5 years (12)
- Last 10 years (22)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

We discuss some aspects of algorithmic randomness and state some open problems in this area. The rst part is devoted to the question \What is a computably random sequence?" Here we survey some of the approaches to algorithmic randomness and address some questions on these concepts. In the second part we look at the Turing degrees of Martin-LL of random… (More)

- Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
- Theor. Comput. Sci.
- 1994

Supported by the Human Capital and Mobility Program of the European Community under grant CHRX-CT93-0415 (COLORET). Mathematisches Institut, Universit at Heidelberg, D-69120 Heidelberg, Germany Universidad de Zaragoza, Dept. Inform atica, CPS, Mar a del Luna 3, E-50015 Zaragoza, Spain We survey recent results on resource-bounded measure and randomness in… (More)

- Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp, Theodore A. Slaman
- J. Symb. Log.
- 2004

In Reverse Mathematics, the axiom system DNR, asserting the existence of diagonally non-recursive functions, is strictly weaker than WWKL0 (weak weak König’s

- Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, Frank Stephan
- IEEE Conference on Computational Complexity
- 2001

In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in linear exponential time. We determine the dimension of various classes related to fundamental structural properties including different types of autoreducibility and immunity. By a new… (More)

- Klaus Ambos-Spies
- Information and Control
- 1985

- Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig
- Theor. Comput. Sci.
- 1987

raet. A formal notion of diagonalization is developed which allows to enforce properties that are related to the class of polynomial timecomputable sets (the class of polynomial time computable functions respectively), like, e.g., p-immunity. It is shown that there are sets-called p-generiowhich have all properties enforceable by such diagonalizations. We… (More)

- Klaus Ambos-Spies, Manuel Lerman
- J. Symb. Log.
- 1986

- Klaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng
- J. Complexity
- 2000

- Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng
- STACS
- 1996

We introduce balanced t(n)-genericity which is a reenement of the genericity concept of Ambos-Spies, Fleischhack and Huwig 2] and which in addition controls the frequency with which a condition is met. We show that this concept coincides with the resource-bounded version of Church's stochasticity 6]. By uniformly describing these concepts and weaker notions… (More)