skip to content
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 Preview this item
ClosePreview this item
Checking...

Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984

Author: Heinz-Dieter Ebbinghaus; G H Müller; Gerald E Sacks
Publisher: Berlin ; New York : Springer-Verlag, ©1985.
Series: Lecture notes in mathematics (Springer-Verlag), 1141.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Conference proceedings
Oberwolfach (1984)
Congresses
Additional Physical Format: Online version:
Recursion theory week.
Berlin ; New York : Springer-Verlag, ©1985
(OCoLC)624470304
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Heinz-Dieter Ebbinghaus; G H Müller; Gerald E Sacks
ISBN: 0387156739 9780387156736 3540156739 9783540156734
OCLC Number: 12556959
Description: ix, 418 pages ; 25 cm.
Contents: Generators of the recursively enumerable degrees.- Kleene degrees of ultrafilters.- Recursion theory on strongly ?2 inadmissible ordinals.- Applications of the low-basis theorem in arithmetic.- Strong reducibilities in ?- and ?-recursion theory.- Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees.- An immune partition of the ordinals.- An application of ? 2 1 -logic to descriptive set theory.- Probabilistic machines, oracles, and quantifiers.- Minimal polynomial degrees of nonrecursive sets.- Genericity for recursively enumerable sets.- Sets of everywhere singular functions.- Measure, ? 1 0 -classes and complete extensions of PA.- On the ordering of classes in high/low hierarchies.- Generic objects in recursion theory.- The structure of m-degrees.- Some open questions in recursion theory.- Absolute type 2 objects.- Recursion theoretic aspects of the dual ramsey theorem.- Reflection and the priority method in E-recursion theory.- Subrecursive ordinals.
Series Title: Lecture notes in mathematics (Springer-Verlag), 1141.
Responsibility: edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/12556959>
library:oclcnum"12556959"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/12556959>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"1985"
schema:datePublished"1985"
schema:exampleOfWork<http://worldcat.org/entity/work/id/862940041>
schema:genre"Conference proceedings"@en
schema:genre"Kongress"@en
schema:genre"Conference proceedings."@en
schema:genre"Oberwolfach (1984)"@en
schema:inLanguage"en"
schema:name"Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984"@en
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/850784700>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.