Results 1 
9 of
9
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 39 (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...
Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras
, 1997
"... We prove that each interval of the lattice E of c.e. sets under inclusion is either a boolean algebra or has an undecidable theory. This solves an open problem of Maass and Stob [9]. We develop a method to prove undecidability by interpreting ideal lattices, which can also be applied to degree s ..."
Abstract

Cited by 9 (4 self)
 Add to MetaCart
We prove that each interval of the lattice E of c.e. sets under inclusion is either a boolean algebra or has an undecidable theory. This solves an open problem of Maass and Stob [9]. We develop a method to prove undecidability by interpreting ideal lattices, which can also be applied to degree structures from complexity theory. We also answer a question left open in [6] by giving an example of a nondefinable subclass of E which has an arithmetical index set and is invariant under automorphisms. 1 Introduction Intervals play an important role in the study of the lattice E of computably enumerable (c.e.) sets under inclusion. Several interesting properties of a c.e. set can be given alternative definitions in terms of the structure of L(A), the lattice of c.e. supersets of A. For instance, hyperhypersimplicity of a coinfinite c.e. set A is equivalent to L(A) being a boolean algebra, and A is rmaximal if and only if L(A) has no nontrivial complemented elements. A further typ...
Effectively dense Boolean algebras and their applications
"... A computably enumerable boolean algebra B is effectively dense if for each x 2 B we can effectively determine an F (x) x such that x 6= 0 implies 0 ! F (x) ! x. We give an interpretation of true arithmetic in the theory of the lattice of computably enumerable ideals of such a boolean algebra. A ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
A computably enumerable boolean algebra B is effectively dense if for each x 2 B we can effectively determine an F (x) x such that x 6= 0 implies 0 ! F (x) ! x. We give an interpretation of true arithmetic in the theory of the lattice of computably enumerable ideals of such a boolean algebra. As an application, we also obtain an interpretation of true arithmetic in all theories of intervals of E (the lattice of computably enumerable sets under inclusion) which are not boolean algebras. We derive a similar result for theories of certain initial segments "low down" of subrecursive degree structures. 1 Introduction We describe a uniform method to interpret Th(N; +; \Theta) in the theories of a wide variety of seemingly wellbehaved structures. These structures stem from formal logic, complexity theory and computability theory. In many cases, they are closely related to dense distributive lattices. The results can be summarized by saying that, in spite of the structure's apparen...
Sorbi A., Algebraic properties of Rogers semilattices of arithmetical numberings
 In Computability and Models, S.B. Cooper and S.S. Goncharov eds.—Kluwer
, 2003
"... Abstract We investigate initial segments and intervals of Rogers semilattices of arithmetical families. We prove that there exist intervals with different algebraic properties; the elementary theory of any Rogers semilattice at arithmetical level n ≥ 2 is hereditarily undecidable; the class of all R ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
(Show Context)
Abstract We investigate initial segments and intervals of Rogers semilattices of arithmetical families. We prove that there exist intervals with different algebraic properties; the elementary theory of any Rogers semilattice at arithmetical level n ≥ 2 is hereditarily undecidable; the class of all Rogers semilattices of a fixed level n ≥ 2 has an incomplete theory. ∗All authors were partially supported by grant INTASRFBR Computability and Models no.
Differences of Computably Enumerable Sets
, 1999
"... We consider the lower semilattice D of differences of c.e. sets under inclusion. It is shown that D is not distributive as a semilattice, and that the c.e. sets form a definable subclass. 1 Introduction A persistent open problem about the lattice E of computably enumerable (c.e.) sets under inclusi ..."
Abstract
 Add to MetaCart
We consider the lower semilattice D of differences of c.e. sets under inclusion. It is shown that D is not distributive as a semilattice, and that the c.e. sets form a definable subclass. 1 Introduction A persistent open problem about the lattice E of computably enumerable (c.e.) sets under inclusion is to determine the least number k such that the \Sigma k theory is undecidable. Lachlan [6] proved that the \Sigma 2 theory in the language of lattices is decidable, while one of the various known proofs of undecidability for Th(E), in that case due to Harrington, shows that in fact the \Sigma 8 theory in the language of lattices is undecidable (see [10], p. 381 for a sketch of that proof). Thus a very unsatisfying gap of 6 quantifier alternations remains. The reason why the undecidability proofs are so "bad" is that the coding used is very indirect. For instance, first one codes the class of finite symmetric graphs (which has an hereditarily undecidable \Sigma 2 theory) in the cl...
Interpreting N in the computably enumerable weak truth table degrees
"... We give a firstorder coding without parameters of a copy of (N;+; \Theta) in the computably enumerable weak truth table degrees. As a tool,we develop a theory of parameter definable subsets. Given a degree structure from computability theory, once the undecidability of its theory is known, an im ..."
Abstract
 Add to MetaCart
We give a firstorder coding without parameters of a copy of (N;+; \Theta) in the computably enumerable weak truth table degrees. As a tool,we develop a theory of parameter definable subsets. Given a degree structure from computability theory, once the undecidability of its theory is known, an important further problem is the question of the actual complexity of the theory. If the structure is arithmetical, then its theory can be interpreted in true arithmetic, i.e. Th(N; +; \Theta). Thus an upper bound is ; (!) , the complexity of Th(N; +; \Theta). Here an interpretation of theories is a manyone reduction based on a computable map defined on sentences in some natural way. An example of an arithmetical structure is D T ( ; 0 ), the Turing degrees of \Delta 0 2 sets. Shore [16] proved that true arithmetic can be interpreted in Th(D T ( ; 0 )). A stronger result is interpretability without parameters of a copy of (N; +; \Theta) in the structure (interpretability of struc...
CONTENTS
"... 1 Introduction to computability theory 1 1.1 The basic concepts 2 1.1.1 Partial computable functions 2 1.1.2 Computably enumerable sets 5 ..."
Abstract
 Add to MetaCart
(Show Context)
1 Introduction to computability theory 1 1.1 The basic concepts 2 1.1.1 Partial computable functions 2 1.1.2 Computably enumerable sets 5
Contents
"... Abstract. The 2012 logic blog has focussed on the following: Randomness and computable analysis/ergodic theory; Systematizing algorithmic randomness notions; Traceability; Higher randomness; Calibrating the complexity of equivalence relations from computability theory and algebra. ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. The 2012 logic blog has focussed on the following: Randomness and computable analysis/ergodic theory; Systematizing algorithmic randomness notions; Traceability; Higher randomness; Calibrating the complexity of equivalence relations from computability theory and algebra.