aller au contenu
Arithmetic, proof theory, and computational complexity Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérifiant…

Arithmetic, proof theory, and computational complexity

Auteur : Gaisi Takeuti; Peter Clote; Jan Krajíček
Éditeur: Oxford : Clarendon Press, 1993.
Collection: Oxford logic guides, 23
Édition/format:   Livre imprimé : AnglaisVoir toutes les éditions et tous les formats
Résumé:

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  Lire la suite...

Évaluation:

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Sujets
Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type de document: Livre
Tous les auteurs / collaborateurs: Gaisi Takeuti; Peter Clote; Jan Krajíček
ISBN: 0198536909 9780198536901
Numéro OCLC: 463723602
Notes: Bibliogr. à la fin de chaque chap.
Description: X-428 p. : [1] portr. ; 25 cm.
Contenu: 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
Titre de collection: Oxford logic guides, 23
Responsabilité: ed. by Peter Clote ... Jan Krajíc̆ek ...
Plus d’informations:

Critiques

Critiques éditoriales

Synopsis de l’éditeur

The book is on the level of a graduate course, and in this is superb. A highly recommendable book. * Mededelingen van Het Wiskundig Genootschaap, September 1996 * This is a valuable survey of the Lire la suite...

 
Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Marqueurs

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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/krajicek_jan> ; # Jan Krajíček
   schema:editor <http://viaf.org/viaf/24671463> ; # Peter Clote
   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/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/24671463> # Peter Clote
    a schema:Person ;
   schema:familyName "Clote" ;
   schema:givenName "Peter" ;
   schema:name "Peter Clote" ;
    .

<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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.