Results 11  20
of
26
Isomorphisms Of Splits Of Computably Enumerable Sets
 J. OF SYMBOLIC LOGIC
, 2002
"... We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets. ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets.
Conjectures and Questions from Gerald Sacks’s Degrees of Unsolvability
 Archive for Mathematical Logic
, 1993
"... We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, particular ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, particularly recursion theory, over the past thirty years through his research, writing and teaching. Here, I would like to concentrate on just one instance of that influence that I feel has been of special significance to the study of the degrees of unsolvability in general and on my own work in particular the conjectures and questions posed at the end of the two editions of Sacks's first book, the classic monograph Degrees of Unsolvability (Annals
Highness and Bounding Minimal Pairs
, 1993
"... We show the existence of a high r.e. degree bounding only joins of minimal pairs and of a high 2 nonbounding r.e. degree. 0 Introduction An important topic in the study of recursively enumerable sets and degrees has been the interaction between the jump operator and the order theoretic properties o ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We show the existence of a high r.e. degree bounding only joins of minimal pairs and of a high 2 nonbounding r.e. degree. 0 Introduction An important topic in the study of recursively enumerable sets and degrees has been the interaction between the jump operator and the order theoretic properties of an r. e. set A (in the lattice E of all r. e. sets) and of its degree a in R, the upper semilattice of the r. e. degrees. An early theme in this area was the idea that sets with "low" jumps should behave like the recursive sets while those with "high" jumps should exhibit properties like the complete sets. For example, in the lattice E of r. e. sets modulo finite sets, we know from Soare[23] that if A is low, i. e. A 0 j T ; 0 , then L (A), the lattice of r. e. supersets of A, is isomorphic to E . In R there are many instances of the low Partially supported by IGC of Vicoria University, Wellington and ARO through MSI, Cornell University, DAAL03C0027. y Partailly suppo...
On the Universal Splitting Property
 Mathematical Logic Quarterly
, 1996
"... We prove that if an incomplete computably enumerable set has the the universal splitting property then it is low 2 . This solves a question from AmbosSpies and Fejer [1] and Downey and Stob [7]. Some technical improvements are discussed. 1 Introduction Two computably enumerable sets A 1 and A 2 ar ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
We prove that if an incomplete computably enumerable set has the the universal splitting property then it is low 2 . This solves a question from AmbosSpies and Fejer [1] and Downey and Stob [7]. Some technical improvements are discussed. 1 Introduction Two computably enumerable sets A 1 and A 2 are said to split A if A = A 1 [ A 2 and A 1 " A 2 = ;. We write A 1 t A 2 = A in the case that A 1 and A 2 split A. Splitting theorems for computably enumerable sets have played a central role in the history of classical computability theory. For instance, Sack's splitting theorm [14], demonstrated that every nonzero computably enumerable degree could be Downey's research supported by Cornell University, an IGC grant from Victoria University and the New Zealand Marsden Fund via grant 95VICMIS0698 under contract VIC509. Some of these results were obtained whilst Downey was a Visiting Professor at Cornell University in fall 1995. decomposed into a pair of incomparible nonzero computa...
On the Orbits of Computable Enumerable Sets
, 2007
"... The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; th ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof).
Asymptotic density and computably enumerable sets (tentative title), in preparation
"... Abstract. We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this re ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
Abstract. We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: (i) The degrees of such sets A are precisely the nonlow c.e. degrees. (ii) There is a c.e. set A of density 1 with no computable subset of nonzero density. (iii) There is a c.e. set A of density 1 such that every subset of A of density 1 is of high degree. We also study the extent to which c.e. sets A can be approximated by their computable subsets B in the sense that A \ B has small density. There is a very close connection between the computational complexity of a set and the arithmetical complexity of its density and we characterize the lower densities, upper densities and densities of both computable and computably enumerable sets. We also study the notion of “computable at density r ” where r is a real in the unit interval. Finally, we study connections between density and classical smallness notions such as immunity, hyperimmunity, and cohesiveness. 1.
Atomless rMaximal Sets
"... . We focus on L(A), the filter of supersets of A in the structure of the computably enumerable sets under the inclusion relation, where A is an atomless rmaximal set. We answer a long standing question by showing that there are infinitely many pairwise nonisomorphic filters of this type. 1. Intr ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
. We focus on L(A), the filter of supersets of A in the structure of the computably enumerable sets under the inclusion relation, where A is an atomless rmaximal set. We answer a long standing question by showing that there are infinitely many pairwise nonisomorphic filters of this type. 1. Introduction Let E be the collection of computably enumerable sets ordered via the inclusion relation. A main task concerning this structure is to classify its orbits. That is, given a computably enumerable set A, determine all the other computably enumerable sets B such that there is an automorphism # of E with #(A) = B. (It is understood that from this point on all sets are computably enumerable.) There has been some success in this area. For example, the maximal sets form an orbit [Soare, 1974] and the hemimaximal sets (Friedberg splittings of maximal sets) form an orbit [Downey and Stob, 1992]. It is easy to see that if A and B are in the same orbit then L(A) is isomorphic to L(B)....
Invariance in E ∗ and EΠ
 Trans. Amer. Math. Soc
"... Abstract. We define G, a substructure of EΠ (the lattice of Π 0 1 classes) and show that a quotient structure of G, G ♦ , is isomorphic to E ∗. The result builds on the ∆ 0 3 isomorphism machinery, and allows us to transfer invariant classes from E ∗ to EΠ, though not, in general, orbits. Further pr ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. We define G, a substructure of EΠ (the lattice of Π 0 1 classes) and show that a quotient structure of G, G ♦ , is isomorphic to E ∗. The result builds on the ∆ 0 3 isomorphism machinery, and allows us to transfer invariant classes from E ∗ to EΠ, though not, in general, orbits. Further properties of G ♦ and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance. 1.
The complexity of orbits of computably enumerable sets
 BULLETIN OF SYMBOLIC LOGIC
, 2008
"... The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof).
Dynamic Properties of Computably Enumerable Sets
 In Computability, Enumerability, Unsolvability, volume 224 of London Math. Soc. Lecture Note Ser
, 1995
"... A set A ` ! is computably enumerable (c.e.), also called recursively enumerable, (r.e.), or simply enumerable, if there is a computable algorithm to list its members. Let E denote the structure of the c.e. sets under inclusion. Starting with Post [1944] there has been much interest in relating t ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A set A ` ! is computably enumerable (c.e.), also called recursively enumerable, (r.e.), or simply enumerable, if there is a computable algorithm to list its members. Let E denote the structure of the c.e. sets under inclusion. Starting with Post [1944] there has been much interest in relating the denable (especially Edenable) properties of a c.e. set A to its iinformation contentj, namely its Turing degree, deg(A), under T , the usual Turing reducibility. [Turing 1939]. Recently, Harrington and Soare answered a question arising from Post's program by constructing a nonemptly Edenable property Q(A) which guarantees that A is incomplete (A !T K). The property Q(A) is of the form (9C)[A ae m C & Q \Gamma (A; C)], where A ae m C abbreviates that iA is a major subset of Cj, and Q \Gamma (A; C) contains the main ingredient for incompleteness. A dynamic property P (A), such as prompt simplicity, is one which is dened by considering how fast elements elements enter A relat...