scientific article; zbMATH DE number 512985
From MaRDI portal
Publication:4281694
zbMath0795.03081MaRDI QIDQ4281694
Publication date: 7 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bounded arithmeticfragments of arithmeticfinite Ramsey theorempolynomial-size bounded-depth Frege proofs
Related Items (11)
Expander Construction in VNC1 ⋮ Approximate counting and NP search problems ⋮ Expander construction in \(\mathrm{VNC}^1\) ⋮ A note on propositional proof complexity of some Ramsey-type statements ⋮ A lower bound on the size of resolution proofs of the Ramsey theorem ⋮ Towards a Unified Complexity Theory of Total Functions ⋮ Towards a unified complexity theory of total functions ⋮ Upper and lower Ramsey bounds in bounded arithmetic ⋮ Multifunction algebras and the provability of \(PH\downarrow\) ⋮ Separation results for the size of constant-depth propositional proofs ⋮ A model-theoretic characterization of the weak pigeonhole principle
This page was built for publication: