Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth (Q1749803): Difference between revisions

@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL GROUNDS
@@ Property / cites work: LOGICAL GROUNDS / rank @@
+Normal rank
@@ Property / cites work @@
+The (Metaphysical) Foundations of Arithmetic?
@@ Property / cites work: The (Metaphysical) Foundations of Arithmetic? / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on incompleteness
@@ Property / cites work: Reflecting on incompleteness / rank @@
+Normal rank
@@ Property / cites work @@
+Some puzzles of ground
@@ Property / cites work: Some puzzles of ground / rank @@
+Normal rank
@@ Property / cites work @@
+THE PURE LOGIC OF GROUND
@@ Property / cites work: THE PURE LOGIC OF GROUND / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005147
@@ Property / cites work: Q3005147 / rank @@
+Normal rank
@@ Property / cites work @@
+SELF-REFERENCE IN ARITHMETIC I
@@ Property / cites work: SELF-REFERENCE IN ARITHMETIC I / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic theories of partial ground. I: The base theory
+Normal rank
@@ Property / cites work @@
+Proof theory. The first step into impredicativity
@@ Property / cites work: Proof theory. The first step into impredicativity / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ Property / cites work @@
+Paradox without Self-Reference
@@ Property / cites work: Paradox without Self-Reference / rank @@
+Normal rank