TRUTH AND SPEED-UP (Q2940877): Difference between revisions

@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+Q3093483
@@ Property / cites work: Q3093483 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying the philosophy of truth
@@ Property / cites work: Unifying the philosophy of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on Formal Theories of Truth
@@ Property / cites work: Notes on Formal Theories of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+On mathematical instrumentalism
@@ Property / cites work: On mathematical instrumentalism / rank @@
+Normal rank
@@ Property / cites work @@
+On Gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics
+Normal rank
@@ Property / cites work @@
+Q5694788
@@ Property / cites work: Q5694788 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Foundations of Mathematics and Computational Complexity
+Normal rank
@@ Property / cites work @@
+Cuts, consistency statements and interpretations
@@ Property / cites work: Cuts, consistency statements and interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the undefinability of cuts
@@ Property / cites work: A note on the undefinability of cuts / rank @@
+Normal rank