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: Klaus Ambos-Spies
Publisher: Berlin : Springer, 1990.
Series: Lecture notes in mathematics, 1432.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in  Read more...

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
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Klaus Ambos-Spies
ISBN: 0387527729 9780387527727 3540527729 9783540527725
OCLC Number: 246276185
Description: VI, 393 Seiten : Diagramme.
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, 1432.
Responsibility: K. Ambos-Spies ... (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/246276185> # Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246276185" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4922822395#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/4922822395#Topic/recursion_theory_congresses> ; # Recursion theory--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/4922822395#Place/oberwolfach_1989> ; # Oberwolfach <1989>
    schema:about <http://experiment.worldcat.org/entity/work/data/4922822395#Topic/rekursionstheorie> ; # Rekursionstheorie
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/66555742> ; # Klaus Ambos-Spies
    schema:datePublished "1990" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4922822395> ;
    schema:genre "Kongress" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4922822395#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
    schema:name "Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989" ;
    schema:productID "246276185" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246276185#PublicationEvent/berlin_springer_1990> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4922822395#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/hbz/toc/ht003580334.pdf> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002578807&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=002578807&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9780387527727> ;
    schema:workExample <http://worldcat.org/isbn/9783540527725> ;
    umbel:isLike <http://d-nb.info/901287504> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246276185> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4922822395#Place/oberwolfach_1989> # Oberwolfach <1989>
    a schema:Place ;
    schema:name "Oberwolfach <1989>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922822395#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246276185> ; # 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/4922822395#Topic/recursion_theory_congresses> # Recursion theory--Congresses
    a schema:Intangible ;
    schema:name "Recursion theory--Congresses" ;
    .

<http://experiment.worldcat.org/entity/work/data/4922822395#Topic/rekursionstheorie> # Rekursionstheorie
    a schema:Intangible ;
    schema:name "Rekursionstheorie" ;
    .

<http://viaf.org/viaf/66555742> # Klaus Ambos-Spies
    a schema:Person ;
    schema:familyName "Ambos-Spies" ;
    schema:givenName "Klaus" ;
    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/title/-/oclc/246276185>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/246276185> ; # Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
    schema:dateModified "2018-09-15" ;
    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.