Fragments of bounded arithmetic and the lengths of proofs (Q5502825): Difference between revisions

@@ Property / cites work @@
+Bounds for proof-search and speed-up in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q4208265
@@ Property / cites work: Q4208265 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculi and fragments of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Herbrandizing search problems in Bounded Arithmetic
+Normal rank
@@ Property / cites work @@
+On induction-free provability
@@ Property / cites work: On induction-free provability / rank @@
+Normal rank