skip to content
Computability Theory and Its Applications : Current Trends and Open Problems. Preview this item
ClosePreview this item
Checking...

Computability Theory and Its Applications : Current Trends and Open Problems.

Author: Peter A Cholak; Steffen Lempp; Manuel Lerman
Publisher: Providence : American Mathematical Society, 2000.
Series: Contemporary Mathematics.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

Features papers that represent the works of experts in the field who were invited speakers at the AMS-IMS-SIAM Joint Summer Conference on Computability Theory and Applications held at the University  Read more...

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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Cholak, Peter A.
Computability Theory and Its Applications : Current Trends and Open Problems.
Providence : American Mathematical Society, ©2000
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Peter A Cholak; Steffen Lempp; Manuel Lerman
ISBN: 9780821878477 0821878476 9780821855935 082185593X
OCLC Number: 990678390
Language Note: English.
Description: 1 online resource (338 pages).
Contents: ""Contents""; ""Preface""; ""Program of invited talks""; ""Conference participants""; ""Randomness in computability theory""; ""Open questions about the n-c.e. degrees""; ""The theory of numberings: Open problems""; ""Π01 classes � structure and applications""; ""The global structure of computably enumerable sets""; ""Computability theory in arithmetic: Provability, structure and techniques""; ""How many Turing degrees are there?""; ""Questions in computable algebra and combinatorics""; ""Issues and problems in reverse mathematics""; ""1. The Emergence of Reverse Mathematics"" ""2. The Reverse Mathematics Enterprise""""3. The Interpretability Conjecture""; ""4. The Coding Issue""; ""5. Real Analysis and Topology""; ""6. Banach Space Theory""; ""7. Ramsey Theory""; ""8. WQO Theory""; ""9. Countable Abelian Group Theory""; ""10. Replacing RCA0 by a Weaker Base Theory""; ""References""; ""Open problems in the theory of constructive algebraic systems""; ""Independence results from ZFC in computability theory: Some open problems""; ""Problems related to arithmetic""; ""Embeddings into the computably enumerable degrees"" ""Definability in the c.e. degrees: Questions and results""""Strong reducibilities, again""; ""Finitely axiomatizable theories and Lindenbaum algebras of semantic classes""; ""Towards an analog of Hilbert's tenth problem for a number field""; ""Natural definability in degree structures""; ""Recursion theory in set theory""; ""Extensions, automorphisms, and definability""; ""Open problems in the enumeration degrees""
Series Title: Contemporary Mathematics.
Other Titles: Contemporary Mathematics
Contemporary Mathematics, Volume 257
Computability theory and its applications: current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder

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/990678390> # Computability Theory and Its Applications : Current Trends and Open Problems.
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "990678390" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890072254#Place/providence> ; # Providence
   schema:about <http://experiment.worldcat.org/entity/work/data/890072254#Topic/computable_functions> ; # Computable functions
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/890072254#Topic/mathematical_theory> ; # Mathematical Theory
   schema:about <http://experiment.worldcat.org/entity/work/data/890072254#Topic/computable_functions_congresses> ; # Computable functions--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/890072254#Topic/mathematics> ; # Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/890072254#Topic/physical_sciences_&_mathematics> ; # Physical Sciences & Mathematics
   schema:alternateName "Contemporary Mathematics, Volume 257" ;
   schema:alternateName "Computability theory and its applications: current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder" ;
   schema:alternateName "Contemporary Mathematics" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890072254#Person/lempp_steffen> ; # Steffen Lempp
   schema:contributor <http://experiment.worldcat.org/entity/work/data/890072254#Person/lerman_manuel> ; # Manuel Lerman
   schema:creator <http://experiment.worldcat.org/entity/work/data/890072254#Person/cholak_peter_a> ; # Peter A. Cholak
   schema:datePublished "2000" ;
   schema:description """Contents""; ""Preface""; ""Program of invited talks""; ""Conference participants""; ""Randomness in computability theory""; ""Open questions about the n-c.e. degrees""; ""The theory of numberings: Open problems""; ""Î 01 classes â€? structure and applications""; ""The global structure of computably enumerable sets""; ""Computability theory in arithmetic: Provability, structure and techniques""; ""How many Turing degrees are there?""; ""Questions in computable algebra and combinatorics""; ""Issues and problems in reverse mathematics""; ""1. The Emergence of Reverse Mathematics"""@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890072254> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890072254#Series/contemporary_mathematics> ; # Contemporary Mathematics.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/890072254#CreativeWork/computability_theory_and_its_applications_current_trends_and_open_problems> ;
   schema:name "Computability Theory and Its Applications : Current Trends and Open Problems."@en ;
   schema:productID "990678390" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/990678390#PublicationEvent/providence_american_mathematical_society_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890072254#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3113055> ;
   schema:url <http://dx.doi.org/10.1090/conm/257> ;
   schema:workExample <http://worldcat.org/isbn/9780821855935> ;
   schema:workExample <http://worldcat.org/isbn/9780821878477> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/990678390> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890072254#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Person/cholak_peter_a> # Peter A. Cholak
    a schema:Person ;
   schema:familyName "Cholak" ;
   schema:givenName "Peter A." ;
   schema:name "Peter A. Cholak" ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Person/lempp_steffen> # Steffen Lempp
    a schema:Person ;
   schema:familyName "Lempp" ;
   schema:givenName "Steffen" ;
   schema:name "Steffen Lempp" ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Person/lerman_manuel> # Manuel Lerman
    a schema:Person ;
   schema:familyName "Lerman" ;
   schema:givenName "Manuel" ;
   schema:name "Manuel Lerman" ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Series/contemporary_mathematics> # Contemporary Mathematics.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/990678390> ; # Computability Theory and Its Applications : Current Trends and Open Problems.
   schema:name "Contemporary Mathematics." ;
   schema:name "Contemporary Mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Topic/computable_functions> # Computable functions
    a schema:Intangible ;
   schema:name "Computable functions"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Topic/computable_functions_congresses> # Computable functions--Congresses
    a schema:Intangible ;
   schema:name "Computable functions--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Topic/mathematical_theory> # Mathematical Theory
    a schema:Intangible ;
   schema:name "Mathematical Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890072254#Topic/physical_sciences_&_mathematics> # Physical Sciences & Mathematics
    a schema:Intangible ;
   schema:name "Physical Sciences & Mathematics"@en ;
    .

<http://worldcat.org/entity/work/data/890072254#CreativeWork/computability_theory_and_its_applications_current_trends_and_open_problems>
    a schema:CreativeWork ;
   rdfs:label "Computability Theory and Its Applications : Current Trends and Open Problems." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/990678390> ; # Computability Theory and Its Applications : Current Trends and Open Problems.
    .

<http://worldcat.org/isbn/9780821855935>
    a schema:ProductModel ;
   schema:isbn "082185593X" ;
   schema:isbn "9780821855935" ;
    .

<http://worldcat.org/isbn/9780821878477>
    a schema:ProductModel ;
   schema:isbn "0821878476" ;
   schema:isbn "9780821878477" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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