A Note on Conservativity Relations among Bounded Arithmetic Theories
From MaRDI portal
Publication:4530148
DOI<375::AID-MALQ375>3.0.CO;2-L 10.1002/1521-3870(200204)48:3<375::AID-MALQ375>3.0.CO;2-LzbMath0997.03046MaRDI QIDQ4530148
Jan Krajíček, Russell Impagliazzo
Publication date: 29 May 2002
Full work available at URL: https://doi.org/10.1002/1521-3870(200204)48:3<375::aid-malq375>3.0.co;2-l
Related Items
INCOMPLETENESS IN THE FINITE DOMAIN, Short refutations for an equivalence‐chain principle for constant‐depth formulas, Towards NP-P via proof complexity and search, The canonical pairs of bounded depth Frege systems, Random resolution refutations, The Ordering Principle in a Fragment of Approximate Counting
Cites Work