269 research outputs found
Lattice initial segments of the hyperdegrees
We affirm a conjecture of Sacks [1972] by showing that every countable
distributive lattice is isomorphic to an initial segment of the hyperdegrees,
. In fact, we prove that every sublattice of any
hyperarithmetic lattice (and so, in particular, every countable locally finite
lattice) is isomorphic to an initial segment of . Corollaries
include the decidability of the two quantifier theory of
and the undecidability of its three quantifier theory. The key tool in the
proof is a new lattice representation theorem that provides a notion of forcing
for which we can prove a version of the fusion lemma in the hyperarithmetic
setting and so the preservation of . Somewhat surprisingly,
the set theoretic analog of this forcing does not preserve . On
the other hand, we construct countable lattices that are not isomorphic to an
initial segment of
Computability Theory
Computability is one of the fundamental notions of mathematics, trying to capture the effective content of mathematics. Starting from Gödel’s Incompleteness Theorem, it has now blossomed into a rich area with strong connections with other areas of mathematical logic as well as algebra and theoretical computer science
Kolmogorov complexity and computably enumerable sets
We study the computably enumerable sets in terms of the: (a) Kolmogorov
complexity of their initial segments; (b) Kolmogorov complexity of finite
programs when they are used as oracles. We present an extended discussion of
the existing research on this topic, along with recent developments and open
problems. Besides this survey, our main original result is the following
characterization of the computably enumerable sets with trivial initial segment
prefix-free complexity. A computably enumerable set is -trivial if and
only if the family of sets with complexity bounded by the complexity of is
uniformly computable from the halting problem
- …