1 option
Recursion theory / [edited by Anil Nerode, Richard A. Shore].
- Format:
- Book
- Conference/Event
- Conference Name:
- AMS-ASL Summer Institute on Recursion Theory (1982 : Cornell University), issuing body.
- Series:
- Proceedings of symposia in pure mathematics ; volume 42.
- Proceedings of symposia in pure mathematics ; volume 42
- Language:
- English
- Subjects (All):
- Recursion theory.
- Physical Description:
- 1 online resource (538 p.)
- Place of Publication:
- Providence, Rhode Island : American Mathematical Society, [1985]
- Language Note:
- English
- Contents:
- ""Table of Contents""; ""Preface""; ""I. Classical Recursion Theory""; ""REA operators, R. E. degrees and minimal covers""; ""The embedding problem for the recursively enumerable degrees""; ""Major subsets and automorphisms of recursively enumerable sets""; ""The structure of the degrees of unsolvability""; ""Tree arguments in recursion theory and the 0""'-priority method""; ""Major subsets and the lattice of recursively enumerable sets""; ""II. Generalized Recursion Theory""; ""Unimonotone functions of finite types (recursive functionals and quantifiers of finite type revisited IV)""
- ""Canonical forms and hierarchies in generalized recursion theory""""Aspects of the continuous functionals""; ""Post's problem in E-recursion""; ""The E-recursively enumerable degrees are dense""; ""III. Fine Structure and Descriptive""; ""Uncountable ZF-ordinals""; ""Another look at gap-1 morasses""; ""Condensation-coherent global square systems""; ""Fine structure theory and its applications""; ""Determinancy and the structure of L(R)""; ""Recursivity and capacity theory""; ""A purely inductive proof of Borel determinancy""; ""IV. Effective Mathematics""; ""Decidable Ehrenfeucht theories""
- Notes:
- "Proceedings of the AMS-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso.
- Includes bibliographies.
- Description based on print version record.
- ISBN:
- 0-8218-9334-3
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.