Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Degrees of unsolvability : local and global theory / Manuel Lerman.

By: Material type: TextTextSeries: Perspectives in logicPublication details: Cambridge : Cambridge University Press, 2016.Description: xiii, 307 pages : illustrations ; 24 cmISBN:
  • 9781107168138
Subject(s): DDC classification:
  • 511.3 23 L616
Contents:
I. Recursive functions -- II. Embeddings and extensions of embeddings in the degrees -- III. The jump operator -- IV. High/Low Hierarchies -- V. Minimal degrees -- VI. Finite distributive lattices -- VII. Finite lattices -- VIII. Countable usis -- IX. Minimal degrees and high/low hierarchies -- X. Jumps of minimal degrees -- XI. Bounding minimal degrees with recursively enumerable degrees -- XII. Initial segments of D [0,0} -- Appendices.
Summary: Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results.
Tags from this library: No tags from this library for this title. Log in to add tags.

Includes bibliographical references and indexes.

I. Recursive functions --
II. Embeddings and extensions of embeddings in the degrees --
III. The jump operator --
IV. High/Low Hierarchies --
V. Minimal degrees --
VI. Finite distributive lattices --
VII. Finite lattices --
VIII. Countable usis --
IX. Minimal degrees and high/low hierarchies --
X. Jumps of minimal degrees --
XI. Bounding minimal degrees with recursively enumerable degrees --
XII. Initial segments of D [0,0} --
Appendices.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the eleventh publication in the Perspectives in Logic series, Manuel Lerman presents a systematic study of the interaction between local and global degree theory. He introduces the reader to the fascinating combinatorial methods of recursion theory while simultaneously showing how to use these methods to prove global theorems about degrees. The intended reader will have already taken a graduate-level course in recursion theory, but this book will also be accessible to those with some background in mathematical logic and a feeling for computability. It will prove a key reference to enable readers to easily locate facts about degrees and it will direct them to further results.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in