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

@@ 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.2307/2273150
@@ Property / full work available at URL: https://doi.org/10.2307/2273150 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2099293911
@@ Property / OpenAlex ID: W2099293911 / rank @@
+Normal rank
@@ 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