The two halves of disjunctive correctness (Q6038484): Difference between revisions

@@ Property / cites work @@
+TRUTH AND FEASIBLE REDUCIBILITY
@@ Property / cites work: TRUTH AND FEASIBLE REDUCIBILITY / rank @@
+Normal rank
@@ Property / cites work @@
+Truth, disjunction, and induction
@@ Property / cites work: Truth, disjunction, and induction / 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 @@
+Q5286672
@@ Property / cites work: Q5286672 / 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 @@
+Construction of Satisfaction Classes for Nonstandard Models
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
+Normal rank
@@ Property / cites work @@
+MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
+Normal rank
@@ Property / cites work @@
+NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
+Normal rank
@@ Property / cites work @@
+Local collection and end-extensions of models of compositional truth
+Normal rank
@@ Property / cites work @@
+Paradox without Self-Reference
@@ Property / cites work: Paradox without Self-Reference / rank @@
+Normal rank