NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325): Difference between revisions

@@ Property / cites work @@
+Relative Truth Definability of Axiomatic Truth Theories
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Induction and Satisfaction Classes
@@ Property / cites work: Bounded Induction and Satisfaction Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank