Automorphisms of the lattice of recursively enumerable sets. Memoirs of the American Mathematical Society; 541.

Cholak, Peter

ISBN 10: 0821826018 / ISBN 13: 9780821826010

Published by Providence, American Math. Soc, 1995

About this Item

Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-00820 9780821826010 Sprache: Englisch Gewicht in Gramm: 150.

Seller Inventory # 2484658

Bibliographic Details

• Title: Automorphisms of the lattice of recursively enumerable sets. Memoirs of the American Mathematical Society; 541.
• Publisher: Providence, American Math. Soc
• Publication Date: 1995
• Language: English
• ISBN 10: 0821826018
• ISBN 13: 9780821826010
• Binding: Softcover
• Weight: 150 grams
• Seller catalogs:
  • SA MATHEMATIK

About this title

Synopsis

This work explores the connection between the lattice of recursively enumerable (r.e.) sets and the r.e. Turing degrees. Cholak presents a degree-theoretic technique for constructing both automorphisms of the lattice of r.e. sets and isomorphisms between various substructures of the lattice. In addition to providing another proof of Soare's Extension Theorem, this technique is used to prove a collection of new results, including: every nonrecursive r.e. set is automorphic to a high r.e. set; and for every nonrecursive r.e. set $A$ and for every high r.e. degree h there is an r.e. set $B$ in h such that $A$ and $B$ form isomorphic principal filters in the lattice of r.e. sets.