Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411): Difference between revisions

@@ Property / cites work @@
+Q4523475
@@ Property / cites work: Q4523475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523469
@@ Property / cites work: Q4523469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052072
@@ Property / cites work: Q4052072 / rank @@
+Normal rank
@@ Property / cites work @@
+On a consistent subsystem of Frege's Grundgesetze
@@ Property / cites work: On a consistent subsystem of Frege's Grundgesetze / rank @@
+Normal rank
@@ Property / cites work @@
+Q5719494
@@ Property / cites work: Q5719494 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative foundations of arithmetic
@@ Property / cites work: Predicative foundations of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Groundwork for weak analysis
@@ Property / cites work: Groundwork for weak analysis / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
+Normal rank
@@ Property / cites work @@
+Q5536612
@@ Property / cites work: Q5536612 / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of predicative fragments of frege’s <i>grundgesetze der arithmetik</i>
+Normal rank
@@ Property / cites work @@
+Finitude and Hume's principle
@@ Property / cites work: Finitude and Hume's principle / rank @@
+Normal rank
@@ Property / cites work @@
+Developing arithmetic in set theory without infinity: some historical remarks
+Normal rank
@@ Property / cites work @@
+On the consistency of the first-order portion of Frege's logical system
+Normal rank