Operation and Predicativity: Lorenzen’s Approach to Arithmetic (Q5024722): Difference between revisions

@@ Property / cites work @@
+Outlines of a formalist philosophy of mathematics
@@ Property / cites work: Outlines of a formalist philosophy of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of predicative analysis
@@ Property / cites work: Systems of predicative analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3586993
@@ Property / cites work: Q3586993 / rank @@
+Normal rank
@@ Property / cites work @@
+The Functional Role of Structures in Bourbaki
@@ Property / cites work: The Functional Role of Structures in Bourbaki / rank @@
+Normal rank
@@ Property / cites work @@
+Q3966693
@@ Property / cites work: Q3966693 / rank @@
+Normal rank
@@ Property / cites work @@
+Konstruktive Begründung der Mathematik
@@ Property / cites work: Konstruktive Begründung der Mathematik / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical reflection and formalism
@@ Property / cites work: Logical reflection and formalism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557928
@@ Property / cites work: Q5557928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556388
@@ Property / cites work: Q5556388 / rank @@
+Normal rank
@@ Property / cites work @@
+Konstruktive Analysis und das geometrische Kontinuum
+Normal rank
@@ Property / cites work @@
+Q3874172
@@ Property / cites work: Q3874172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793039
@@ Property / cites work: Q4793039 / rank @@
+Normal rank
@@ Property / cites work @@
+Immanent reasoning or equality in action. A plaidoyer for the play level
+Normal rank
@@ Property / cites work @@
+The formalization of mathematics
@@ Property / cites work: The formalization of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Numbers and Predicative Set Theory
@@ Property / cites work: Ordinal Numbers and Predicative Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic versus constructive procedures in mathematics
+Normal rank