Articles
Enumerations of the Kolmogorov function (with Richard Beigel, Harry Buhrman, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan, and Leen Torenvliet), Journal of Symbolic Logic (2006)
A recursive enumerator for a function h is an algorithm f which enumerates for an...
Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table degrees and other Distributive Upper Semi-Lattices (with Klaus Ambos-Spies, Steffen Lempp, and Manuel Lerman), Journal of Symbolic Logic (1996)
We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of...