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

@@ 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