doorgaan naar inhoud
Arithmetic, proof theory, and computational complexity Voorbeeldweergave van dit item
SluitenVoorbeeldweergave van dit item
Bezig met controle...

Arithmetic, proof theory, and computational complexity

Auteur: Gaisi Takeuti; Peter Clote; Jan Krajíček
Uitgever: Oxford : Clarendon Press, 1993.
Serie: Oxford logic guides, 23
Editie/Formaat:   Print book : EngelsAlle edities en materiaalsoorten bekijken.
Database:WorldCat
Samenvatting:

This book principally concerns the area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity  Meer lezen...

Beoordeling:

(nog niet beoordeeld) 0 met beoordelingen - U bent de eerste

Onderwerpen
Meer in deze trant

 

Zoeken naar een in de bibliotheek beschikbaar exemplaar

&AllPage.SpinnerRetrieving; Bibliotheken met dit item worden gezocht…

Details

Soort document: Boek
Alle auteurs / medewerkers: Gaisi Takeuti; Peter Clote; Jan Krajíček
ISBN: 0198536909 9780198536901
OCLC-nummer: 463723602
Opmerkingen: Bibliogr. à la fin de chaque chap.
Beschrijving: X-428 p. : [1] portr. ; 25 cm.
Inhoud: Preface ; 1. Open Problems ; 2. Note on the Existence of Most General Semi-unifiers ; 3. Kreisel's Conjecture for L31 (including a postscript by George Kreisel) ; 4. Number of Symbols in Frege Proofs with and without the Deduction Rule ; 5. Algorithm for Boolean Formula Evolution and for Tree Contraction ; 6. Provably Total Functions in Bounded Arithmetic Theories Ri3, Ui2 and Vi2 ; 7. On Polynomial Size Frege Proofs of Certain Combinatorial Principles ; 8. Interpretability and Fragments of arithmetic ; 9. Abbreviating Proofs Using Metamathematical Rules ; 10. Open Induction, Tennenbaum Phenomena, and Complexity Theory ; 11. Using Herbrand-type Theorems to Separate Strong Fragments of Arithmetic ; 12. An Equivalence between Second Order Bounded Domain Bounded Arithmetic and First Order Bounded Arithmetic ; 13. Integer Parts of Real Closed Exponential Fields (extended abstract) ; 14. Making Infinite Structures Finite in Models of Second Order Bounded Arithmetic ; 15. Ordinal Arithmetic in I ; 16. RSUV Isomorphism ; 17. Feasible Interpretability
Serietitel: Oxford logic guides, 23
Verantwoordelijkheid: ed. by Peter Clote, ... Jan Krajíc̆ek, ...
Meer informatie:

Beoordelingen

Professionele beoordelingen

Synopsis uitgever

This book is a valuable survey of the present state of research in this fascinating domain of foundational studies. It can certainly serve as an information and reference source as well as a source Meer lezen...

 
Beoordelingen door gebruikers
Beoordelingen van GoodReads worden opgehaald...
Bezig met opvragen DOGObooks-reviews...

Tags

U bent de eerste.
Bevestig deze aanvraag

Misschien heeft u dit item reeds aangevraagd. Selecteer a.u.b. Ok als u toch wilt doorgaan met deze aanvraag.

Gekoppelde data


Primary Entity

<http://www.worldcat.org/oclc/463723602> # Arithmetic, proof theory, and computational complexity
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "463723602" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/347522273#Place/oxford> ; # Oxford
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/complexite> ; # complexité
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_demonstration> ; # théorie démonstration
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_nombre> ; # théorie nombre
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_de_la_demonstration> ; # Théorie de la démonstration
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64133112> ; # Gaisi Takeuti
   schema:datePublished "1993" ;
   schema:editor <http://experiment.worldcat.org/entity/work/data/347522273#Person/clote_peter> ; # Peter Clote
   schema:editor <http://experiment.worldcat.org/entity/work/data/347522273#Person/krajicek_jan> ; # Jan Krajíček
   schema:exampleOfWork <http://worldcat.org/entity/work/id/347522273> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/347522273#Series/oxford_logic_guides> ; # Oxford logic guides ;
   schema:name "Arithmetic, proof theory, and computational complexity" ;
   schema:productID "463723602" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/463723602#PublicationEvent/oxford_clarendon_press_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/347522273#Agent/clarendon_press> ; # Clarendon Press
   schema:workExample <http://worldcat.org/isbn/9780198536901> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/463723602> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/347522273#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Person/clote_peter> # Peter Clote
    a schema:Person ;
   schema:familyName "Clote" ;
   schema:givenName "Peter" ;
   schema:name "Peter Clote" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Person/krajicek_jan> # Jan Krajíček
    a schema:Person ;
   schema:familyName "Krajíček" ;
   schema:givenName "Jan" ;
   schema:name "Jan Krajíček" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/463723602> ; # Arithmetic, proof theory, and computational complexity
   schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_de_la_demonstration> # Théorie de la démonstration
    a schema:Intangible ;
   schema:name "Théorie de la démonstration" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/theorie_demonstration> # théorie démonstration
    a schema:Intangible ;
   schema:name "théorie démonstration" ;
    .

<http://viaf.org/viaf/64133112> # Gaisi Takeuti
    a schema:Person ;
   schema:familyName "Takeuti" ;
   schema:givenName "Gaisi" ;
   schema:name "Gaisi Takeuti" ;
    .

<http://worldcat.org/isbn/9780198536901>
    a schema:ProductModel ;
   schema:isbn "0198536909" ;
   schema:isbn "9780198536901" ;
    .


Content-negotiable representations

Venster sluiten

Meld u aan bij WorldCat 

Heeft u geen account? U kunt eenvoudig een nieuwe gratis account aanmaken.