Mathematical significance of consistency proofs (Q3260570): Difference between revisions

@@ Property / author @@
-Georg Kreisel
@@ Property / author: Georg Kreisel / rank @@
-Normal rank
@@ Property / author @@
+Georg Kreisel
@@ Property / author: Georg Kreisel / 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.2307/2964396
@@ Property / full work available at URL: https://doi.org/10.2307/2964396 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2074560788
@@ Property / OpenAlex ID: W2074560788 / rank @@
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Some concepts concerning formal systems of number theory
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
+Normal rank
@@ Property / cites work @@
+On ordered fields and definite functions
@@ Property / cites work: On ordered fields and definite functions / rank @@
+Normal rank