Conventionalism, consistency, and consistency sentences (Q514102): Difference between revisions

@@ Property / DOI @@
-.1007/s11229-014-0626-8
@@ Property / DOI: 10.1007/s11229-014-0626-8 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F30
@@ Property / Mathematics Subject Classification ID: 03F30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+H15
@@ Property / Mathematics Subject Classification ID: 03H15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F25
@@ Property / Mathematics Subject Classification ID: 03F25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A30
@@ Property / Mathematics Subject Classification ID: 00A30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6693118
@@ Property / zbMATH DE Number: 6693118 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conventionalism
@@ Property / zbMATH Keywords: conventionalism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pluralism
@@ Property / zbMATH Keywords: pluralism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+philosophy of mathematics
@@ Property / zbMATH Keywords: philosophy of mathematics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inferentialism
@@ Property / zbMATH Keywords: inferentialism / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+arithmetic
@@ Property / zbMATH Keywords: arithmetic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-014-0626-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2078618466
@@ Property / OpenAlex ID: W2078618466 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Pluralism
@@ Property / cites work: Logical Pluralism / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839916
@@ Property / cites work: Q5839916 / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetization of metamathematics in a general setting
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772177
@@ Property / cites work: Q5772177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3101063
@@ Property / cites work: Q3101063 / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+New Foundations for Mathematical Logic
@@ Property / cites work: New Foundations for Mathematical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interlude: About the First Theorem
@@ Property / cites work: Interlude: About the First Theorem / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S11229-014-0626-8
@@ Property / DOI: 10.1007/S11229-014-0626-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:514102