CLASSICAL DETERMINATE TRUTH I (Q6203556): Difference between revisions

@@ Property / cites work @@
+NOTES ON<i>ω</i>-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES
+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 @@
+Hilbert's program relativized; Proof-theoretical and foundational reductions
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR DETERMINATENESS AND TRUTH
@@ Property / cites work: AXIOMS FOR DETERMINATENESS AND TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Hypatia's silence
@@ Property / cites work: Hypatia's silence / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to self-referential truth
@@ Property / cites work: An axiomatic approach to self-referential truth / rank @@
+Normal rank
@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
+Normal rank
@@ Property / cites work @@
+Deflationism beyond arithmetic
@@ Property / cites work: Deflationism beyond arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+A system of complete and consistent truth
@@ Property / cites work: A system of complete and consistent truth / rank @@
+Normal rank
@@ Property / cites work @@
+Disquotational truth and analyticity
@@ Property / cites work: Disquotational truth and analyticity / rank @@
+Normal rank
@@ Property / cites work @@
+How not to state T-sentences
@@ Property / cites work: How not to state T-sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Formal notes on the substitutional analysis of logical consequence
+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 @@
+Full Satisfaction Classes and Recursive Saturation
+Normal rank
@@ Property / cites work @@
+What truth depends on
@@ Property / cites work: What truth depends on / rank @@
+Normal rank
@@ Property / cites work @@
+How truthlike can a predicate be? A negative result
+Normal rank
@@ Property / cites work @@
+Maximal consistent sets of instances of Tarski's schema (T)
+Normal rank
@@ Property / cites work @@
+REFERENCE IN ARITHMETIC
@@ Property / cites work: REFERENCE IN ARITHMETIC / rank @@
+Normal rank
@@ Property / cites work @@
+Reference and truth
@@ Property / cites work: Reference and truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215633
@@ Property / cites work: Q4215633 / rank @@
+Normal rank
@@ Property / cites work @@
+Some remarks on extending and interpreting theories with a partial predicate for truth
+Normal rank
@@ Property / cites work @@
+Q3676070
@@ Property / cites work: Q3676070 / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMS FOR GROUNDED TRUTH
@@ Property / cites work: AXIOMS FOR GROUNDED TRUTH / rank @@
+Normal rank
@@ Property / cites work @@
+Supervaluation-style truth without supervaluations
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3265664
@@ Property / cites work: Q3265664 / rank @@
+Normal rank