Automorphisms of the Lattice of Recursively Enumerable Sets
Author | : Peter Cholak |
Publisher | : American Mathematical Soc. |
Total Pages | : 166 |
Release | : 1995 |
ISBN-10 | : 9780821826010 |
ISBN-13 | : 0821826018 |
Rating | : 4/5 (018 Downloads) |
Download or read book Automorphisms of the Lattice of Recursively Enumerable Sets written by Peter Cholak and published by American Mathematical Soc.. This book was released on 1995 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: A version of Harrington's [capital Greek]Delta3-automorphism technique for the lattice of recursively enumerable sets is introduced and developed by reproving Soare's Extension Theorem. Then this automorphism technique is used to show two technical theorems: the High Extension Theorem I and the High Extension Theorem II. This is a degree-theoretic technique for constructing both automorphisms of the lattice of r.e. sets and isomorphisms between various substructures of the lattice.