skip to content
Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 Preview this item
ClosePreview this item
Checking...

Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989

Author: K Ambos-Spies; G H Müller; Gerald E Sacks
Publisher: Berlin ; New York : Springer-Verlag, ©1990.
Series: Lecture notes in mathematics (Springer-Verlag), 1432.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

These proceedings contain research and survey papers on recursion theory, with emphasis on degree theory, computational complexity theory, generalized recursion theory and recursive mathematics.

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
Recursion theory week.
Berlin ; New York : Springer-Verlag, ©1990
(OCoLC)624475814
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: K Ambos-Spies; G H Müller; Gerald E Sacks
ISBN: 3540527729 9783540527725 0387527729 9780387527727
OCLC Number: 22393159
Description: vi, 393 pages ; 25 cm.
Contents: Honest polynomial reductions and exptally sets.- On the structure of degrees below O?.- Positive solutions to Post's problem.- The metamathematics of Fraisse's order type conjecture.- Enumeration reducibility, nondeterministic computations and relative computability of partial functions.- Notes on the O? priority method with special attention to density results.- Array nonrecursive sets and multiple permitting arguments.- Superbranching degrees.- A direct construction of a minimal recursively enumerable truth-table degree.- ?2-induction and the construction of a high degree.- Undecidability and initial segments of the wtt-degrees ?0?.- Randomness and generalizations of fixed point free functions.- Recursive enumeration without repetition revisited.- Priority arguments using iterated trees of strategies.- On the relationship between the complexity, the degree, and the extension of a computable set.- Polynomially isolated sets.- A characterization of effective topological spaces.
Series Title: Lecture notes in mathematics (Springer-Verlag), 1432.
Responsibility: K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.).

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/22393159> # Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "22393159" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862940041#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/kongress> ; # Kongress
   schema:about <http://dewey.info/class/510/e20/> ;
   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/recursivite_theorie_de_la_congres> ; # Recursivité, Théorie de la--Congrès
   schema:about <http://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
   schema:about <http://experiment.worldcat.org/entity/work/data/862940041#Topic/logica_matematica> ; # Logica matematica
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/862940041#Person/sacks_gerald_e> ; # Gerald E. Sacks
   schema:contributor <http://viaf.org/viaf/21145971590732332839> ; # Gert Heinz Müller
   schema:contributor <http://viaf.org/viaf/66555742> ; # Klaus Ambos-Spies
   schema:copyrightYear "1990" ;
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/862940041> ;
   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> ; # Lecture notes in mathematics ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862940041#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624475814> ;
   schema:name "Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989"@en ;
   schema:productID "22393159" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/22393159#PublicationEvent/berlin_new_york_springer_verlag_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/862940041#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <https://stanford.idm.oclc.org/login?url=http://link.springer.com/10.1007/BFb0086109> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1794442&custom%5Fatt%5F2=simple%5Fviewer> ;
   schema:url <http://swbplus.bsz-bw.de/bsz021342091cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9780387527727> ;
   schema:workExample <http://worldcat.org/isbn/9783540527725> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/22393159> ;
    .


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/sacks_gerald_e> # Gerald E. Sacks
    a schema:Person ;
   schema:familyName "Sacks" ;
   schema:givenName "Gerald E." ;
   schema:name "Gerald E. Sacks" ;
    .

<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/22393159> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
   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/22393159> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862940041#Topic/recursivite_theorie_de_la_congres> # Recursivité, Théorie de la--Congrès
    a schema:Intangible ;
   schema:name "Recursivité, 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/21145971590732332839> # 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://viaf.org/viaf/66555742> # Klaus Ambos-Spies
    a schema:Person ;
   schema:familyName "Ambos-Spies" ;
   schema:givenName "Klaus" ;
   schema:givenName "K." ;
   schema:name "Klaus Ambos-Spies" ;
    .

<http://worldcat.org/isbn/9780387527727>
    a schema:ProductModel ;
   schema:isbn "0387527729" ;
   schema:isbn "9780387527727" ;
    .

<http://worldcat.org/isbn/9783540527725>
    a schema:ProductModel ;
   schema:isbn "3540527729" ;
   schema:isbn "9783540527725" ;
    .

<http://www.worldcat.org/oclc/624475814>
    a schema:CreativeWork ;
   rdfs:label "Recursion theory week." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/22393159> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
    .

<http://www.worldcat.org/title/-/oclc/22393159>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/22393159> ; # Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
   schema:dateModified "2017-09-02" ;
   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.