Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
0Activity
0 of .
Results for:
No results containing your search query
P. 1
64563767-SLFM-079-Generalized-Recursion-Theory-Fens-Tad-P-G-hinman-Studies-in-Logic-and-the-Foundations-of-Mathematics-NH-1974-T.pdf

64563767-SLFM-079-Generalized-Recursion-Theory-Fens-Tad-P-G-hinman-Studies-in-Logic-and-the-Foundations-of-Mathematics-NH-1974-T.pdf

Ratings: (0)|Views: 8 |Likes:
Published by James David Matoy

More info:

Published by: James David Matoy on Feb 07, 2014
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

02/07/2014

pdf

text

original

 
GENERALIZED RECURSION
THEORY
PROCEEDINGS
OF
THE
972
OSLO
SYMPOSIUM
Edited by
J E
FENST D
University
o
Oslo
and
P.
G.
HINMAN
University
of
Oslo
and University
of
Michigan
nn rbor
1974
NORTH-HOLLAND PUBLISHING COMPANY AMSTERDAM LONDON AMERICAN ELSEVIER PUBLISHING COMPANY INC. NEW YORK
 
 
ORTH-HOLLAND PUBLISHING COMPANY
974
All
Rights Reserved. No part of this publication may be reproduced stored in
a
retrieval system or transmitted in any form or by any means electronic mechanical photocopying recording or otherwise without the prior permission of the Copyright owner. Libraty
of
Congress Catalog Card Number 73-81531 North-Holland ISBN for the series 7204 22000 for this volume 0 7204 22760 American Elsevier ISBN 0 444 10545 Published by
North-Holland Publishing Company Amsterdam North-Holland Publishing Company Ltd. London
Sole distributors for the U.S.A. and Canada
American Elsevier Publishing Company Inc.
5
Vanderbilt Avenue
New
York
N.Y.
1 17
PRINTED IN THE NETHERLANDS
 
PREFACE
The Symposium
on
Generalized Recursion Theory was held at the Univers-
ity
of Oslo June
12-
16
1972.
The Symposium received generous financial support from the Norwegian Research Council and from the University of Oslo. About
5
persons attended the meeting. This volume contains
12
of the papers presented at the meeting. Of the five remaining papers the contribution of
Y.N.
Moschovakis replaces the one originally presented which will be published by North-Holland in
1973
under the title
Elementary Induction
o
Abstract Structures
The paper “Post’s problem for admissible sets” by
S
Simpson is a later addition. The Editors asked
K
Devlin to write a survey paper
on
the Jensen theory of the fine structure of the constructible hierarchy. The two remaining papers by
S
Aanderaa and
L.
Harrington solve important problems left open at the end of the Symposium and we are happy to include these papers in the Proceedings. We should finally note that the authors have been free to revise their papers after the Symposium which in some cases has led to extensions of the results as originally reported. We hope that the inclusion of a bibliography of papers on generalized re- cursion theory will increase the usefulness of the present volume. The partici- pants of the Symposium agreed that a bibliography of the field would be useful and the preparation of it was taken over by Gerald Sacks who received extensive assistance from Leo Harrington. The Editors are grateful to them for their valuable work. The reader will note that the bibliography carries the disclaimer “uncritical”. This is to emphasize that the purpose was not to present a comprehensive and scholarly bibliography of works relevant to generalized recursion theory but to provide a useful list of some of the basic papers. The Symposium was intended to present a broad view of methods and results
in
generalized recursion theory. We believe that the meeting acheved some measure of success toward this goal
so
that the published Proceedings also can serve as an introduction for the beginning research student who wants
to
specialize
in
this rich and fascinating branch of logic. The Editors

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->