DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780): Difference between revisions

@@ Property / cites work @@
+MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
+Normal rank
@@ Property / cites work @@
+Truth, disjunction, and induction
@@ Property / cites work: Truth, disjunction, and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / 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 @@
+Full Satisfaction Classes and Recursive Saturation
+Normal rank
@@ Property / cites work @@
+Models of weak theories of truth
@@ Property / cites work: Models of weak theories of truth / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard definability
@@ Property / cites work: Nonstandard definability / rank @@
+Normal rank