Cargando…
Bounded arithmetic, propositional logic, and complexity theory /
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing ope...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge [England] ; New York, N.Y. :
Cambridge University Press,
1995.
|
| Colección: | Encyclopedia of mathematics and its applications ;
v. 60. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn847358855 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130608s1995 enk ob 001 0 eng d | ||
| 040 | |a OL$ |b eng |e pn |c OL$ |d E7B |d CAMBR |d OCLCO |d N$T |d DEBSZ |d OCLCQ |d OCLCF |d OCLCQ |d UAB |d OCLCQ |d VTS |d OCLCQ |d REC |d STF |d AU@ |d M8D |d INARC |d OCLCQ |d OCLCO |d SFB |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 708567503 | ||
| 020 | |a 9781107088634 |q (electronic bk.) | ||
| 020 | |a 1107088631 |q (electronic bk.) | ||
| 020 | |a 9780511529948 |q (electronic bk.) | ||
| 020 | |a 0511529945 |q (electronic bk.) | ||
| 020 | |z 0521452058 |q (hardback) | ||
| 020 | |z 9780521452052 | ||
| 029 | 1 | |a DEBBG |b BV043169715 | |
| 029 | 1 | |a DEBSZ |b 421262079 | |
| 029 | 1 | |a GBVCP |b 813615445 | |
| 035 | |a (OCoLC)847358855 |z (OCoLC)708567503 | ||
| 044 | |a enk |a nyu | ||
| 050 | 4 | |a QA9.56 |b .K73 1995 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Krajíček, Jan. | |
| 245 | 1 | 0 | |a Bounded arithmetic, propositional logic, and complexity theory / |c Jan Krajíček. |
| 260 | |a Cambridge [England] ; |a New York, N.Y. : |b Cambridge University Press, |c 1995. | ||
| 300 | |a 1 online resource (xiv, 343 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications ; |v v. 60 | |
| 504 | |a Includes bibliographical references (pages 327-334) and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area. | ||
| 505 | 8 | |a 7.7 Bibliographical and other remarks8 Definability and witnessing in second order theories; 8.1 Second order computations; 8.2 Definable functionals; 8.3 Bibliographical and other remarks; 9 Translations of arithmetic formulas; 9.1 Bounded formulas with a predicate; 9.2 Translation into quantified propositional formulas; 9.3 Reflection principles and polynomial simulations; 9.4 Model-theoretic constructions; 9.5 Witnessing and test trees; 9.6 Bibliographical and other remarks; 10 Finite axiomatizability problem; 10.1 Finite axiomatizability of Si2 and Ti2; 10.2 Ti2 versus Si2+1 | |
| 505 | 8 | |a 10.3 Si2 versus Ti210.4 Relativized cases; 10.5 Consistency notions; 10.6 Bibliographical and other remarks; 11 Direct independence proofs; 11.1 Herbrandization of induction axioms; 11.2 Weak pigeonhole principle; 11.3 An independence criterion; 11.4 Lifting independence results; 11.5 Bibliographical and other remarks; 12 Bounds for constant-depth Frege systems; 12.1 Upper bounds; 12.2 Depth d versus depth d + 1; 12.3 Complete systems; 12.4 k-evaluations; 12.5 Lower bounds for the pigeonhole principle and for counting principles; 12.6 Systems with counting gates | |
| 505 | 8 | |a 12.7 Forcing in nonstandard models12.8 Bibliographical and other remarks; 13 Bounds for Frege and extended Frege systems; 13.1 Counting in Frege systems; 13.2 An approach to lower bounds; 13.3 Boolean valuations; 13.4 Bibliographical and other remarks; 14 Hard tautologies and optimal proof systems; 14.1 Finitistic consistency statements and optimal proof systems; 14.2 Hard tautologies; 14.3 Bibliographical and other remarks; 15 Strength of bounded arithmetic; 15.1 Counting; 15.2 A circuit lower bound; 15.3 Polynomial hierarchy in models of bounded arithmetic | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Constructive mathematics. | |
| 650 | 0 | |a Proposition (Logic) | |
| 650 | 0 | |a Computational complexity. | |
| 650 | 6 | |a Mathématiques constructives. | |
| 650 | 6 | |a Proposition (Logique) | |
| 650 | 6 | |a Complexité de calcul (Informatique) | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Computational complexity |2 fast | |
| 650 | 7 | |a Constructive mathematics |2 fast | |
| 650 | 7 | |a Proposition (Logic) |2 fast | |
| 710 | 2 | |a Cambridge University Press. | |
| 730 | 0 | |a Cambridge books online Mathematics. | |
| 776 | 0 | 8 | |i Print version: |a Krajíček, Jan. |t Bounded arithmetic, propositional logic, and complexity theory. |d Cambridge [England] ; New York, N.Y. : Cambridge University Press, 1995 |z 9780511529948 |
| 830 | 0 | |a Encyclopedia of mathematics and its applications ; |v v. 60. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569329 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10446114 | ||
| 938 | |a EBSCOhost |b EBSC |n 569329 | ||
| 938 | |a Internet Archive |b INAR |n boundedarithmeti0000kraj | ||
| 994 | |a 92 |b IZTAP | ||