The Lattice of Sets Recursively Enumerable in an Oracle
Author : John Todd Hammond
Publisher :
Page : 154 pages
File Size : 24,66 MB
Release : 1990
Category :
ISBN :
Author : John Todd Hammond
Publisher :
Page : 154 pages
File Size : 24,66 MB
Release : 1990
Category :
ISBN :
Author : Peter Cholak
Publisher : American Mathematical Soc.
Page : 166 pages
File Size : 15,9 MB
Release : 1995
Category : Mathematics
ISBN : 0821826018
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.
Author : Robert I. Soare
Publisher : Springer Science & Business Media
Page : 460 pages
File Size : 50,9 MB
Release : 1999-11-01
Category : Mathematics
ISBN : 9783540152996
..."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 proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988
Author : Anil Nerode
Publisher : American Mathematical Soc.
Page : 538 pages
File Size : 28,30 MB
Release : 1985
Category : Mathematics
ISBN : 0821814478
Author :
Publisher : Elsevier
Page : 619 pages
File Size : 40,14 MB
Release : 1998-11-30
Category : Computers
ISBN : 9780080533698
Recursive Model Theory
Author : A.B. Cremers
Publisher : Springer Science & Business Media
Page : 388 pages
File Size : 38,43 MB
Release : 1982-12
Category : Computers
ISBN : 9783540119739
Author : Donald Alvin Alton
Publisher :
Page : 168 pages
File Size : 32,46 MB
Release : 1970
Category : Recursive functions
ISBN :
Author : C.-T. Chong
Publisher : Elsevier
Page : 225 pages
File Size : 40,33 MB
Release : 2011-10-10
Category : Mathematics
ISBN : 0080960375
The visit of Gerald Sacks to the National University of Singapore in 1981 provided an opportunity to organize a shortconference in Mathematical Logic. We were fortunate to receive encouragement and material support for this venture from several sources. Specific acknowledgements are made below. Sponsorship of the conference by the Association for Symbolic Logic was received and gave added inspiration. A final word in this connexion concerns the debt we owe to invited speakers who were able to provide for travel expenses from their own resources. Their presence at the conference would not have been possible otherwise. The publication of these Proceedings came about through an initiative of North Holland. The progress in producing the volume has been somewhat fitful, and we appreciate their forbearance and understanding. The items herein, with some exceptions, are written versions of invited talks given at the conference. Abstracts of contributed papers have appeared in the Journal of Symbolic Logic. The two workshops: in Recursion Theory by Mark Tamthai and Model Theory by Chris Ash, which were held in conjunction with the conference, are not recorded. We were fortunate to receive editorial assistance from John Bell during his visit to NUS. A great debt is owed to Mimi Bell and Madam Lam for producing the splendid typescript for the volume.
Author : R. Barcan Marcus
Publisher : Elsevier
Page : 783 pages
File Size : 50,16 MB
Release : 1986-05-01
Category : Mathematics
ISBN : 0080960391
Logic, Methodology and Philosophy of Science VII
Author :
Publisher : Elsevier
Page : 799 pages
File Size : 46,70 MB
Release : 1998-11-30
Category : Computers
ISBN : 0080533701
Recursive Algebra, Analysis and Combinatorics