Advertisement

© 1990

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

  • Editors
  • Klaus Ambos-Spies
  • Gert H. Müller
  • Gerald E. Sacks
Conference proceedings

Part of the Lecture Notes in Mathematics book series (LNM, volume 1432)

Table of contents

  1. Front Matter
    Pages I-VI
  2. Klaus Ambos-Spies, Steven Homer, Dongping Yang
    Pages 1-22
  3. Marat M. Arslanov
    Pages 23-32
  4. C. T. Chong, K. J. Mourad
    Pages 33-40
  5. Rod Downey, Carl Jockusch, Michael Stob
    Pages 141-173
  6. Rod Downey, Joe Mourad
    Pages 175-186
  7. Marcia Groszek, Michael Mytilinaios
    Pages 205-221
  8. Christine Ann Haught, Richard A. Shore
    Pages 223-244
  9. Steffen Lempp, Manuel Lerman
    Pages 277-296
  10. A. Nerode, J. B. Remmel
    Pages 323-362
  11. Back Matter
    Pages 389-398

About these proceedings

Introduction

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.

Keywords

complexity complexity theory computability computability theory proof turing degree

Bibliographic information

  • Book Title Recursion Theory Week
  • Book Subtitle Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989
  • Editors Klaus Ambos-Spies
    Gert H. Müller
    Gerald E. Sacks
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0086109
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-52772-5
  • eBook ISBN 978-3-540-47142-4
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages VIII, 400
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking