#### Filter Results:

#### Publication Year

1983

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Klaus Ambos-Spies, Anton N Ku
- 2000

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)

We survey recent results on resource-bounded measure and random-ness in structural complexity theory. In particular, we discuss applications of these concepts to the exponential time complexity classes E and E2. Moreover, we treat time-bounded genericity and stochasticity concepts which are weaker than time-bounded randomness but which suuce for many of the… (More)

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

In this paper we investigate effective versions of Haus-dorff 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 autoreducibil-ity and immunity. By a… (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 Lemma). §1. Introduction. Reverse mathematics is a branch of proof theory which involves proving the equivalence of mathematical theorems with certain collections of axioms over a weaker base theory.… (More)

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

- Klaus Ambos-Spies, Hans-Christian Neis, Sebastiaan Terwijn
- Theor. Comput. Sci.
- 1994

- Klaus Ambos-Spies
- Structure in Complexity Theory Conference
- 1995

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

- Klaus Ambos-Spies, Levke Bentzien
- IEEE Conference on Computational Complexity
- 1997

- Klaus Ambos-Spies
- Logic and Machines
- 1983