Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866): Difference between revisions

@@ Property / cites work @@
+The modal logic of provability. The sequential approach
+Normal rank
@@ Property / cites work @@
+On the number of steps in proofs
@@ Property / cites work: On the number of steps in proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
+Normal rank
@@ Property / cites work @@
+Rosser sentences
@@ Property / cites work: Rosser sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Preface for Studia Logica special issue (2)
@@ Property / cites work: Preface for Studia Logica special issue (2) / rank @@
+Normal rank
@@ Property / cites work @@
+Much Shorter Proofs
@@ Property / cites work: Much Shorter Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Provable Fixed Points
@@ Property / cites work: Provable Fixed Points / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343989
@@ Property / cites work: Q4343989 / rank @@
+Normal rank