114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections between strong reducibilities and properties of computably enumerable sets such as simplicity. We call a class S of computably enumerable sets bounded if there is an m-incomplete computably enumerable set A such that every set in S is m-reducible to A. For example, we show that the class of effectively simple sets is bounded; but the class of maximal sets is not. Furthermore, the class of computably enumerable sets Turing reducible to a computably enumerable set B is bounded if and only if B is low2. For r = bwtt, tt, wtt, and T, there is a bounded class intersecting every computably enumerable r-degree; for r = c, d and p, no such class e...
AbstractGiven two infinite binary sequences A,B we say that B can compress at least as well as A if ...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
It is proven that complexity classes of abstract measures of complexity need not be recursively enum...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
We show that there are computably enumerable (c.e.) sets with maximum initial segment Kolmogorov com...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set ...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
What can we compute--even with unlimited resources? Is everything within reach? Or are computations ...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
Several properties of complexity classes and sets associated with them are studied. An open problem,...
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NE...
Abstract. We introduce the concepts of complex and autocomplex sets, where a set A is complex if the...
Abstract. A recursive enumerator for a function h is an algorithm f which enumerates for an input x ...
AbstractGiven two infinite binary sequences A,B we say that B can compress at least as well as A if ...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
It is proven that complexity classes of abstract measures of complexity need not be recursively enum...
114 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2000.We also study connections bet...
We show that there are computably enumerable (c.e.) sets with maximum initial segment Kolmogorov com...
© 2014, Pleiades Publishing, Ltd. We study the distinctions between Q-reducibility and m-reducibilit...
Can complexity classes be characterized in terms of efficient reducibility to the (undecidable) set ...
ABSTRACT. Sets which are efficiently reducible (in Karp's sense) to arbitrarily complex sets ar...
What can we compute--even with unlimited resources? Is everything within reach? Or are computations ...
We announce and explain recent results on the computably enumerable (c.e.) sets, especially their de...
Abstract. We investigate the connections between the complexity of a c.e. set, as calibrated by its ...
Several properties of complexity classes and sets associated with them are studied. An open problem,...
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NE...
Abstract. We introduce the concepts of complex and autocomplex sets, where a set A is complex if the...
Abstract. A recursive enumerator for a function h is an algorithm f which enumerates for an input x ...
AbstractGiven two infinite binary sequences A,B we say that B can compress at least as well as A if ...
© 2017, Springer Science+Business Media, LLC. We study structures of degrees of stronger algorithmic...
It is proven that complexity classes of abstract measures of complexity need not be recursively enum...