VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1017/bsl.2021.68
+Normal rank
@@ Property / OpenAlex ID @@
+W4200475768
@@ Property / OpenAlex ID: W4200475768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136460
@@ Property / cites work: Q3136460 / rank @@
+Normal rank
@@ Property / cites work @@
+The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Theories very close to <i>PA</i> where Kreisel's Conjecture is false
+Normal rank
@@ Property / cites work @@
+Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations
+Normal rank
@@ Property / cites work @@
+A NOTE ON DERIVABILITY CONDITIONS
@@ Property / cites work: A NOTE ON DERIVABILITY CONDITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / rank @@
+Normal rank
@@ Property / cites work @@
+An enumeration of the primitive recursive functions without repetition
+Normal rank
@@ Property / cites work @@
+On the length of proofs in formal systems
@@ Property / cites work: On the length of proofs in formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Some Results on the Length of Proofs
@@ Property / cites work: Some Results on the Length of Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Interlude: About the First Theorem
@@ Property / cites work: Interlude: About the First Theorem / rank @@
+Normal rank