scientific article; zbMATH DE number 806751
From MaRDI portal
Publication:4850552
zbMath0843.03033MaRDI QIDQ4850552
Publication date: 15 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
forcingnonstandard modelsproof lengthextensions of modelsFrege systemBoolean valuationsecond-order arithmetics
Classical propositional logic (03B05) Second- and higher-order arithmetic and fragments (03F35) Complexity of proofs (03F20)
Related Items (5)
Cutting planes, connectivity, and threshold logic ⋮ The provably total NP search problems of weak second order bounded arithmetic ⋮ A bounded arithmetic AID for Frege systems ⋮ Partially definable forcing and bounded arithmetic ⋮ Frege proof system and TNC°
This page was built for publication:
