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:   Print 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 papers and 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


Primary Entity

<http://www.worldcat.org/oclc/12556959> # Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "12556959" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862940041#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/rekursionstheorie> ; # Rekursionstheorie
   schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/matematica> ; # Matematica
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/recursivite_theorie_de_la_congres> ; # Récursivité, Théorie de la--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/kongress> ; # Kongress
   schema:about <http://dewey.info/class/510/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/logica_matematica> ; # Logica matematica
   schema:about <http://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/862940041#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
   schema:contributor <http://viaf.org/viaf/32075782> ; # Gerald E. Sacks
   schema:contributor <http://viaf.org/viaf/108792446> ; # Heinz-Dieter Ebbinghaus
   schema:copyrightYear "1985" ;
   schema:datePublished "1985" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/862940041> ;
   schema:genre "Oberwolfach (1984)"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862940041#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862940041#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624470304> ;
   schema:name "Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984"@en ;
   schema:productID "12556959" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/12556959#PublicationEvent/berlin_new_york_springer_verlag_1985> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/862940041#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1791970&custom_att_2=simple_viewer> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1791970&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:url <http://swbplus.bsz-bw.de/bsz010849475cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540156734> ;
   schema:workExample <http://worldcat.org/isbn/9780387156736> ;
   umbel:isLike <http://d-nb.info/850784700> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/12556959> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Person/muller_g_h_gert_heinz_1923> # Gert Heinz Müller
    a schema:Person ;
   schema:birthDate "1923" ;
   schema:familyName "Müller" ;
   schema:givenName "Gert Heinz" ;
   schema:givenName "G. H." ;
   schema:name "Gert Heinz Müller" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/12556959> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/12556959> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Topic/recursivite_theorie_de_la_congres> # Récursivité, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Récursivité, Théorie de la--Congrès"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85112012> # Recursion theory
    a schema:Intangible ;
   schema:name "Recursion theory"@en ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
   schema:name "Recursion theory"@en ;
    .

<http://viaf.org/viaf/108792446> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
   schema:birthDate "1939" ;
   schema:familyName "Ebbinghaus" ;
   schema:givenName "Heinz-Dieter" ;
   schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://viaf.org/viaf/32075782> # Gerald E. Sacks
    a schema:Person ;
   schema:familyName "Sacks" ;
   schema:givenName "Gerald E." ;
   schema:name "Gerald E. Sacks" ;
    .

<http://worldcat.org/isbn/9780387156736>
    a schema:ProductModel ;
   schema:isbn "0387156739" ;
   schema:isbn "9780387156736" ;
    .

<http://worldcat.org/isbn/9783540156734>
    a schema:ProductModel ;
   schema:isbn "3540156739" ;
   schema:isbn "9783540156734" ;
    .

<http://www.worldcat.org/oclc/624470304>
    a schema:CreativeWork ;
   rdfs:label "Recursion theory week." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/12556959> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
    .

<http://www.worldcat.org/title/-/oclc/12556959>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/12556959> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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