The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity (Q850804): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-006-0010-6
@@ Property / DOI: 10.1007/s00153-006-0010-6 / 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.1007/s00153-006-0010-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2081882471
@@ Property / OpenAlex ID: W2081882471 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal arithmetic and \(\Sigma_1\)-elementarity
@@ Property / cites work: Ordinal arithmetic and \(\Sigma_1\)-elementarity / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
+Normal rank
@@ Property / cites work @@
+Elementary patterns of resemblance
@@ Property / cites work: Elementary patterns of resemblance / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. An introduction
@@ Property / cites work: Proof theory. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory and ordinal analysis
@@ Property / cites work: Proof theory and ordinal analysis / rank @@
+Normal rank
@@ Property / cites work @@
+How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
+Normal rank
@@ Property / cites work @@
+An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Q4302424
@@ Property / cites work: Q4302424 / rank @@
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Complexity bounds for some finite forms of Kruskal's theorem
+Normal rank
@@ Property / DOI @@
+.1007/S00153-006-0010-6
@@ Property / DOI: 10.1007/S00153-006-0010-6 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:850804