Grounding, dependence, and paradox (Q1054718): Difference between revisions

@@ Property / cites work @@
+An alternate formulation of Kripke's theory of truth
+Normal rank
@@ Property / cites work @@
+Davis's formulation of Kripke's theory of truth: A correction
+Normal rank
@@ Property / cites work @@
+Intervallmäßige Auswertung von Standardfunktionen in ALGOL-60
+Normal rank
@@ Property / cites work @@
+Russell's Paradox and Some Others
@@ Property / cites work: Russell's Paradox and Some Others / rank @@
+Normal rank
@@ Property / cites work @@
+Numbers and Numerals
@@ Property / cites work: Numbers and Numerals / rank @@
+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 @@
+Q4166736
@@ Property / cites work: Q4166736 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank