skip to content
Arithmetic, proof theory, and computational complexity Preview this item
ClosePreview this item
Checking...

Arithmetic, proof theory, and computational complexity

Author: Peter Clote
Publisher: Oxford : Clarendon Press, 2000.
Series: Oxford logic guides, 23.
Edition/Format:   Print book : English : ReprintView all editions and formats
Database:WorldCat
Summary:

This book principally concerns the rapidly growing area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufsatzsammlung
Document Type: Book
All Authors / Contributors: Peter Clote
ISBN: 0198536909 9780198536901
OCLC Number: 256746946
Description: XII, 428 S.
Contents: 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
Series Title: Oxford logic guides, 23.
Responsibility: Ed. by Peter Clote ...
More information:

Reviews

Editorial reviews

Publisher Synopsis

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 Read more...

 
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/256746946> # Arithmetic, proof theory, and computational complexity
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "256746946" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/347522273#Place/oxford> ; # Oxford
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/datenverarbeitung> ; # Datenverarbeitung
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/komplexitatstheorie> ; # Komplexitätstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/beweistheorie> ; # Beweistheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/beschrankte_arithmetik_beweistheorie_berechnungskomplexitat> ; # Beschränkte Arithmetik--Beweistheorie--Berechnungskomplexität
   schema:about <http://experiment.worldcat.org/entity/work/data/347522273#Topic/arithmetik> ; # Arithmetik
   schema:bookEdition "Reprint." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/347522273#Person/clote_peter> ; # Peter Clote
   schema:datePublished "2000" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/347522273> ;
   schema:genre "Aufsatzsammlung" ;
   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 "256746946" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/256746946#PublicationEvent/oxford_clarendon_press_2000> ;
   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/256746946> ;
    .


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#Series/oxford_logic_guides> # Oxford logic guides ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/256746946> ; # Arithmetic, proof theory, and computational complexity
   schema:name "Oxford logic guides ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
   schema:name "Berechnungskomplexität" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/beschrankte_arithmetik_beweistheorie_berechnungskomplexitat> # Beschränkte Arithmetik--Beweistheorie--Berechnungskomplexität
    a schema:Intangible ;
   schema:name "Beschränkte Arithmetik--Beweistheorie--Berechnungskomplexität" ;
    .

<http://experiment.worldcat.org/entity/work/data/347522273#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
   schema:name "Komplexitätstheorie" ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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