zum Inhalt wechseln
Arithmetic, proof theory, and computational complexity Titelvorschau
SchließenTitelvorschau
Prüfung…

Arithmetic, proof theory, and computational complexity

Verfasser/in: Gaisi Takeuti; Peter Clote; Jan Krajíček
Verlag: Oxford : Clarendon press, 1993.
Serien: Oxford logic guides, 23
Ausgabe/Format   Buch : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:

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  Weiterlesen…

Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Dokumenttyp: Buch
Alle Autoren: Gaisi Takeuti; Peter Clote; Jan Krajíček
ISBN: 0198536909 9780198536901
OCLC-Nummer: 463723602
Anmerkungen: Bibliogr. à la fin de chaque chap.
Beschreibung: X-428 p. : [1] portr. ; 25 cm.
Inhalt: 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
Serientitel: Oxford logic guides, 23
Verfasserangabe: ed. by Peter Clote,... Jan Krajíc̆ek,...
Weitere Informationen:

Rezensionen

Redaktionelle Rezension

Nielsen BookData

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 Weiterlesen…

 
Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


<http://www.worldcat.org/oclc/463723602>
library:oclcnum"463723602"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/463723602>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:datePublished"1993"
schema:editor
schema:editor
schema:exampleOfWork<http://worldcat.org/entity/work/id/347522273>
schema:inLanguage"en"
schema:name"Arithmetic, proof theory, and computational complexity"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.