Results 1  10
of
57
Parameter Definability in the Recursively Enumerable Degrees
"... The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the # k relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k >= 7, the k relations bounded from below by a nonzero degree are uniformly defin ..."
Abstract

Cited by 40 (15 self)
 Add to MetaCart
The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the # k relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k >= 7, the k relations bounded from below by a nonzero degree are uniformly definable. As applications, we show that...
The Bounded Injury Priority Method and the Learnability of Unions of Rectangles
, 1994
"... We develop a bounded version of the finite injury priority method in recursion theory. We use this to study the learnability of unions of rectangles over the domain f0; : : : ; n \Gamma 1g d with only equivalence queries. Applying this method, we show three main results: (1) The class of unions of ..."
Abstract

Cited by 18 (2 self)
 Add to MetaCart
We develop a bounded version of the finite injury priority method in recursion theory. We use this to study the learnability of unions of rectangles over the domain f0; : : : ; n \Gamma 1g d with only equivalence queries. Applying this method, we show three main results: (1) The class of unions of rectangles is polynomial time learnable for constant dimension d. (2) The class of unions of rectangles whose projections at some unknown dimension are pairwisedisjoint is polynomial time learnable. (3) The class of unions of two disjoint rectangles is polynomial time learnable with unions of two rectangles as hypotheses. The preliminary version of this paper is partially contained in [BCH]. y Computer Science Department, Boston University, Boston, MA 02215; zchen@cs.bu.edu. The author was supported by NSF grant CCR9103055 and by a Boston University Presidential Graduate Fellowship. z Computer Science Department, Boston University, Boston, MA 02215; homer@cs.bu.edu. The author was su...
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
, 2009
"... ..."
An explicit solution to Post’s Problem over the reals
, 2008
"... In the BSS model of real number computations we prove a concrete and explicit semidecidable language to be undecidable yet not reducible from (and thus strictly easier than) the real Halting Language. This solution to Post’s Problem over the reals significantly differs from its classical, discrete ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
In the BSS model of real number computations we prove a concrete and explicit semidecidable language to be undecidable yet not reducible from (and thus strictly easier than) the real Halting Language. This solution to Post’s Problem over the reals significantly differs from its classical, discrete variant where advanced diagonalization techniques are only known to yield the existence of such intermediate Turing degrees. Then we strengthen the above result and show as well the existence of an uncountable number of incomparable semidecidable Turing degrees below the real Halting Problem in the BSS model. Again, our proof will give concrete such problems representing these different degrees. Finally we show the corresponding result for the linear BSS model, that is over (R, +, −,<)rather than (R, +, −, ×, ÷,<).
On the Cutting Edge of Relativization: The Resource Bounded Injury Method
, 1994
"... In this report we present a new method of diagonalization that is a refinement of the wellknown finite injury priority method discovered independently by Friedberg and Muchnik in 1957. In the resource bounded injury method , it is necessary in addition to proving that the number injuries for a give ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
In this report we present a new method of diagonalization that is a refinement of the wellknown finite injury priority method discovered independently by Friedberg and Muchnik in 1957. In the resource bounded injury method , it is necessary in addition to proving that the number injuries for a given requirement is finite to carefully count these injuries and prove that this number does not exceed a bound given by the index of the requirement. The method is used to construct an oracle relative to which the polynomial time hierarchy collapses to an extent that the second level of this hierarchy (P NP A ) captures nondeterministic exponential time. This oracle is an answer to an open problem posed by Heller in 1984 that has thus far resisted existing methods and that has recently regained interest by work of Fu et. al. and by work of Homer and Mocas. Moreover, our oracle provides a constructive counterexample to Sewelson's conjecture that does not make use of information theoretical l...
1997], There is no degree invariant halfjump
 Proc. Am. Math. Soc
, 1997
"... We prove that there is no degree invariant solution to Post’s problem that always gives an intermediate degree. In fact, assuming definable determinacy, if W is any definable operator on degrees such that a <W(a) < a ′ on a cone then W is low2 or high2 on a cone of degrees, i. e. there is a de ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
We prove that there is no degree invariant solution to Post’s problem that always gives an intermediate degree. In fact, assuming definable determinacy, if W is any definable operator on degrees such that a <W(a) < a ′ on a cone then W is low2 or high2 on a cone of degrees, i. e. there is a degree c such that W(a) ′ ′ = a ′ ′ for every a ≥ c or W(a) ′ ′ = a ′′ ′ for every a ≥ c.
Noncomputable Spectral Sets
, 2007
"... iii For my Mama, whose *minimal index is computable (because it’s finite). ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
(Show Context)
iii For my Mama, whose *minimal index is computable (because it’s finite).
The recursively enumerable degrees
 in Handbook of Computability Theory, Studies in Logic and the Foundations of Mathematics 140
, 1996
"... ..."
Post’s Problem for Ordinal Register Machines
"... Abstract. We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounded in the writable ordinals. This mirrors the results in [3] for infinitetime Turing machines, and also provides ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We study Post’s Problem for the ordinal register machines defined in [6], showing that its general solution is positive, but that any set of ordinals solving it must be unbounded in the writable ordinals. This mirrors the results in [3] for infinitetime Turing machines, and also provides insight into the different methods required for register machines and Turing machines in infinite time.