A disquotational theory of truth as strong as \(Z_2^-\) (Q496323): Difference between revisions

@@ Property / cites work @@
+The truth is never simple
@@ Property / cites work: The truth is never simple / 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 @@
+A theory of formal truth arithmetically equivalent to ID<sub>1</sub>
+Normal rank
@@ Property / cites work @@
+On the Consistency of a Positive Theory
@@ Property / cites work: On the Consistency of a Positive Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+A revenge-immune solution to the semantic paradoxes
+Normal rank
@@ Property / cites work @@
+Maximal consistent sets of instances of Tarski's schema (T)
+Normal rank
@@ Property / cites work @@
+Truth and reduction
@@ Property / cites work: Truth and reduction / rank @@
+Normal rank
@@ Property / cites work @@
+REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH
@@ Property / cites work: REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on naive semantics
@@ Property / cites work: Notes on naive semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4661895
@@ Property / cites work: Q4661895 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR GROUNDED TRUTH
@@ Property / cites work: AXIOMS FOR GROUNDED TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH
+Normal rank