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
Database:WorldCat
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.).
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/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://viaf.org/viaf/66555742> ; # Klaus Ambos-Spies
    schema:contributor <http://viaf.org/viaf/32075782> ; # Gerald E. Sacks
    schema:contributor <http://experiment.worldcat.org/entity/work/data/862940041#Person/muller_g_h_gert_heinz_1923> ; # Gert Heinz Müller
    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 <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/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/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/logica_matematica> # Logica matematica
    a schema:Intangible ;
    schema:name "Logica matematica"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/862940041#Topic/rekursionstheorie> # Rekursionstheorie
    a schema:Intangible ;
    schema:name "Rekursionstheorie"@en ;
    .

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

<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 "2016-07-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.