首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Splitting properties and jump classes
Authors:Wolfgang Maass  Richard A Shore  Michael Stob
Institution:(1) Department of Mathematics, Massachusetts Institute of Technology, 02139 Cambridge, MA, USA;(2) Department of Mathematics, University of Chicago, 60637 Chicago, IL, USA;(3) Present address: Department of Mathematics, Cornell University, 14853 Ithaca, NY, USA;(4) Present address: Department of Mathematics, Calvin College, 49506 Grand Rapids, MI, USA
Abstract:We show that the promptly simple sets of Maass form a filter in the lattice ℰ of recursively enumerable sets. The degrees of the promptly simple sets form a filter in the upper semilattice of r.e. degrees. This filter nontrivially splits the high degrees (a is high ifa′=0″). The property of prompt simplicity is neither definable in ℰ nor invariant under automorphisms of ℰ. However, prompt simplicity is easily shown to imply a property of r.e. sets which is definable in ℰ and which we have called the splitting property. The splitting property is used to answer many questions about automorphisms of ℰ. In particular, we construct lowd-simple sets which are not automorphic, answering a question of Lerman and Soare. We produce classes invariant under automorphisms of ℰ which nontrivially split the high degrees as well as all of the other classes of r.e. degrees defined in terms of the jump operator. This refutes a conjecture of Soare and answers a question of H. Friedman. During preparation of this paper, the first author was supported by the Heisenberg Programm der Deutschen Forschungsgemeinschaft, West Germany. The second author was partially supported by NSF Grant MSC 77-04013. The third author was partially supported by NSF Grant MSC 80-02937.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号