Recursion Theory Week Proceedings of a Conference held in Oberwolfac
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 comp
- PDF / 31,609,302 Bytes
- 398 Pages / 468 x 684 pts Page_size
- 13 Downloads / 199 Views
1432 K. Ambos-Spies G.H. Muller G.E. Sacks (Eds.)
Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Spnnger-verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona
Lecture Notes in Mathematics Edited by A. Oold and B. Eckmann
1432 K. Ambos-Spies G.H. Muller G.E. Sacks (Eds.)
Recursion Theory Week Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Spnnger-verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona
Editors
Klaus Ambos-Spies Gert H. Muller Mathematisches Institut, Universitat Heidelberg 1m Neuenheimer Feld 288, 6900 Heidelberg, Federal Republic of Germany Gerald E. Sacks Department of Mathematics, Harvard University and Massachusetts Institute of Technology One Oxford Street, Cambridge, MA 02138, USA
Mathematics Subject Classification (1980): 03Dxx, 03Exx, 68Qxx ISBN 3-540-52772-9 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-52772-9 Springer-Verlag New York Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 1990 Printed in Germany Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr. 2146/3140-543210 Printed on acid-free paper
PREFACE In continuation of a first Recursion Theory Week 1984 (see the Lecture Notes in Mathematics. Vol. 1441 (1985)). another such week took place in the Mathematisches Forschungsinstitut Oberwolfach from March 19 to March 25. 1989. Not only the formal talks but also many fruitful discussions and conversations contributed to the success of the meeting. All of us enjoyed the atmosphere and the facilities of the Forschungsinstitut and we express here our warm thanks to its director Professor Martin Barner and to its staff. once again. The papers contained in this volume provide a global view of the recent progress in the vast area of Recursion Theory as understood today. Unfortunately not all the papers given at the conference could be published here in order to meet the deadline we had set ourselves. taking into account the length of the usual refereeing process. The editors express their gratitude to all of the participants for their respective contributions: in discussions. in the talks given and in preparing the papers. We acknowledge with gratitude the
financial
help of the
Division
of
Logic.
Methodology and Philosophy of Science that we received both for the first conference in 1984. and also this time. In both cases
it was used to cover the expenses
of longdistance flights for s
