On the complexity of models of arithmetic (Q3669417): Difference between revisions

@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Some independence results for Peano arithmetic
@@ Property / cites work: Some independence results for Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental logics and \(\Delta^0_2\)-theories
@@ Property / cites work: Experimental logics and \(\Delta^0_2\)-theories / rank @@
+Normal rank
@@ Property / cites work @@
+Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
+Normal rank
@@ Property / cites work @@
+Q3861306
@@ Property / cites work: Q3861306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5767299
@@ Property / cites work: Q5767299 / rank @@
+Normal rank