Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition (Q2402963): Difference between revisions

@@ Property / DOI @@
-.1007/s00153-017-0559-2
@@ Property / DOI: 10.1007/s00153-017-0559-2 / rank @@
-Normal rank
@@ Property / cites work @@
+Q4040375
@@ Property / cites work: Q4040375 / rank @@
+Normal rank
@@ Property / cites work @@
+A new system of proof-theoretic ordinal functions
@@ Property / cites work: A new system of proof-theoretic ordinal functions / rank @@
+Normal rank
@@ Property / cites work @@
+An independence result for \((\Pi^ 1_ 1-CA)+BI\)
@@ Property / cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3874266
@@ Property / cites work: Q3874266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3577833
@@ Property / cites work: Q3577833 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Trees and (Maximal) Order Types
@@ Property / cites work: Binary Trees and (Maximal) Order Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138827
@@ Property / cites work: Q3138827 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Well-partial-orderings and the big Veblen number
@@ Property / cites work: Well-partial-orderings and the big Veblen number / rank @@
+Normal rank
@@ Property / cites work @@
+An order-theoretic characterization of the Howard-Bachmann-hierarchy
+Normal rank
@@ Property / cites work @@
+Ordinal arithmetic with simultaneously defined theta-functions
+Normal rank
@@ Property / DBLP publication ID @@
+journals/aml/RathjenMW17
@@ Property / DBLP publication ID: journals/aml/RathjenMW17 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00153-017-0559-2
@@ Property / DOI: 10.1007/S00153-017-0559-2 / rank @@
+Normal rank