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

@@ 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