DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3118621836
@@ Property / OpenAlex ID: W3118621836 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5019780