An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees

On donne une decomposition definissable du semi-treillis superieur des degres recursivement enumerables R comme l'union disjointe d'un ideal M et un filtre fort NC

[1]  David P. Miller.  High recursively enumerable degrees and the anti-cupping property , 1981 .

[2]  Alistair H. Lachlan.  Bounding Minimal Pairs , 1979, J. Symb. Log..

[3]  Alistair H. Lachlan,et al.  Degrees of recursively enumerable sets which have no maximal supersets , 1968, Journal of Symbolic Logic.

[4]  R. Soare.  Automorphisms of the lattice of recursively enumerable sets , 1974 .

[5]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[6]  R. Soare.  Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal Sets , 1974 .

[7]  Robert I. Soare,et al.  Computational complexity, speedable and levelable sets , 1977, Journal of Symbolic Logic.

[8]  Robert I. Soare,et al.  The plus-cupping theorem for the recursively enumerable degrees , 1981 .

[9]  Robert I. Soare,et al.  The infinite injury priority method , 1976, Journal of Symbolic Logic.

[10]  Michael Stob,et al.  Splitting properties and jump classes , 1981 .

[11]  C. E. M. Yates.  A Minimal Pair of Recursively Enumerable Degrees , 1966, J. Symb. Log..

[12]  Robert I. Soare,et al.  Computational Complexity of Recursively Enumerable Sets , 1982, Inf. Control..

[13]  Lawrence V. Welch.  A Hierarchy of Families of Recursively Enumerable Degrees , 1984, J. Symb. Log..

[14]  Gerald E. Sacks,et al.  The Recursively Enumerable Degrees are Dense , 1964 .

[15]  Richard E. Ladner,et al.  The weak truth table degrees of recursively enumerable sets , 1975 .

[16]  Wolfgang Maass.  Recursively Enumerable Generic Sets , 1982, J. Symb. Log..

[17]  Joseph R. Shoenfield.  Degrees of Classes of RE Sets , 1976, J. Symb. Log..

[18]  Robert W. Robinson.  Jump Restricted Interpolation in the Recursively Enumerable Degrees , 1971 .

[19]  Alistair H. Lachlan,et al.  Lower Bounds for Pairs of Recursively Enumerable Degrees , 1966 .

[20]  Robert I. Soare.  Recursion Theory: its Generalisations and Applications: Fundamental Methods for Constructing Recursively Enumerable Degrees , 1980 .

[21]  Robert I. Soare,et al.  Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets , 1982, Ann. Math. Log..