Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal Sets
Robert Irving Soare · Annals of Mathematics · 1974
Introduction . 80 ?1. Background material 82 S2. Automorphisms and maximal sets . 88 S3. Satisfying condition (2.2) and the hypotheses of the Extension Theorem . 92 S4. Proof of the Extension Theorem Part I: Motivation . ...... 97 S5. Proof of the Extension Theorem Part II: Covering ......... 105 S6. Proof of the Extension Theorem Part III: Mappings . ...... 114 S7. Conclusion 118