Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie (Q2528383): Difference between revisions

@@ Property / cites work @@
+Ein Beitrag zur Ordnungstheorie
@@ Property / cites work: Ein Beitrag zur Ordnungstheorie / rank @@
+Normal rank
@@ Property / cites work @@
+Über <i>ω</i>-Unvollständigkeit in der Peano-Arithmetik
+Normal rank
@@ Property / cites work @@
+Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe
+Normal rank
@@ Property / cites work @@
+Q5797034
@@ Property / cites work: Q5797034 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817396
@@ Property / cites work: Q5817396 / rank @@
+Normal rank