Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694): Difference between revisions

@@ Property / cites work @@
+Recantation or Any old ω-sequence would do after all
+Normal rank
@@ Property / cites work @@
+Q5791196
@@ Property / cites work: Q5791196 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Structuralism†
@@ Property / cites work: Computational Structuralism† / rank @@
+Normal rank
@@ Property / cites work @@
+Carnap's theory of descriptions and its problems
@@ Property / cites work: Carnap's theory of descriptions and its problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism
+Normal rank
@@ Property / cites work @@
+IDENTITY AND DISCERNIBILITY IN PHILOSOPHY AND LOGIC
+Normal rank
@@ Property / cites work @@
+Q4388801
@@ Property / cites work: Q4388801 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Computability
@@ Property / cites work: Turing Computability / rank @@
+Normal rank
@@ Property / cites work @@
+A note on definability in fragments of arithmetic with free unary predicates
+Normal rank
@@ Property / cites work @@
+Modal Logic as Metaphysics
@@ Property / cites work: Modal Logic as Metaphysics / rank @@
+Normal rank