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

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

  • DOI https://doi.org/10.1007/BFb0086109
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52772-5
  • Online ISBN 978-3-540-47142-4
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • About this book