Automorphisms of the Lattice of Recursively Enumerable Sets

Automorphisms of the Lattice of Recursively Enumerable Sets
Author :
Publisher : American Mathematical Soc.
Total Pages : 151
Release :
ISBN-10 : 9780821826010
ISBN-13 : 0821826018
Rating : 4/5 (018 Downloads)

Book Synopsis Automorphisms of the Lattice of Recursively Enumerable Sets by : Peter Cholak

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 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 non recursive r.e. set is automorphic to a high r.e. set; and for every non recursive 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.


Automorphisms of the Lattice of Recursively Enumerable Sets Related Books

Automorphisms of the Lattice of Recursively Enumerable Sets
Language: en
Pages: 151
Authors: Peter Cholak
Categories: Mathematics
Type: BOOK - Published: 1995 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

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 tech
Automorphisms of the Lattice of Recursively Enumerable Sets
Language: en
Pages: 22
Authors: Peter Cholak
Categories: Automorphisms
Type: BOOK - Published: 1991 - Publisher:

DOWNLOAD EBOOK

Recursively Enumerable Sets and Degrees
Language: en
Pages: 460
Authors: Robert I. Soare
Categories: Mathematics
Type: BOOK - Published: 1999-11-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and pro
Computability Theory and Its Applications
Language: en
Pages: 338
Authors: Peter Cholak
Categories: Computable functions
Type: BOOK - Published: 2000 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

This collection of articles presents a snapshot of the status of computability theory at the end of the millennium and a list of fruitful directions for future
The Incomputable
Language: en
Pages: 292
Authors: S. Barry Cooper
Categories: Computers
Type: BOOK - Published: 2017-05-05 - Publisher: Springer

DOWNLOAD EBOOK

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in