Back to results
Massachusetts Institute of Technology
Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),
Abstract
dc:descriptionThesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.
Degree
thesis:*- Department dc:contributor.department
- Massachusetts Institute of Technology. Department of Mathematics
- Grantor dc:publisher
- Massachusetts Institute of Technology
- Year dc:date.issued
- 1973
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Harrington, Leo Anthony
- Advisor dc:contributor.advisor
-
- Gerald E. Sacks.
Subjects
dc:subject × 1Rights
dc:rights- Statement dc:rights
-
- MIT theses are protected by copyright. They may be viewed, downloaded, or printed from this source but further reproduction or distribution in any format is prohibited without written permission.
- Licence dc:rights.uri
- Language dc:language.iso
- eng
Identifiers
dc:identifier.*- Handle dc:identifier.uri
- http://hdl.handle.net/1721.1/113187
- OAI identifier oai:identifier
- oai:dspace.mit.edu:1721.1/113187