1.

Record Nr.

UNINA9910788756403321

Autore

Cholak Peter <1962->

Titolo

Automorphisms of the lattice of recursively enumerable sets / / Peter Cholak

Pubbl/distr/stampa

Providence, Rhode Island : , : American Mathematical Society, , 1995

©1995

ISBN

1-4704-0120-7

Descrizione fisica

1 online resource (166 p.)

Collana

Memoirs of the American Mathematical Society, , 0065-9266 ; ; Number 541

Disciplina

511.3/5

Soggetti

Recursively enumerable sets

Automorphisms

Lattice theory

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"January 1995, Volume 113, Number 541 (first of 4 numbers)."

Nota di bibliografia

Includes bibliographical references.

Nota di contenuto

""Table of Contents""; ""Chapter I: Introduction""; ""Chapter II: The Extension Theorem Revisited""; ""Chapter III: The High Extension Theorems""; ""Chapter IV: The Proof of the High Extension Theorem I""; ""Chapter V: The Proof of the High Extension Theorem II""; ""Chapter VI: Lowness Notions in the Lattice of R.E. Sets""; ""Bibliography""