Skolem + Tetration Is Well-Ordered (Q3576033): Difference between revisions

@@ Property / cites work @@
+Polynomial functions with exponentiation are well ordered
+Normal rank
@@ Property / cites work @@
+Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
+Normal rank
@@ Property / cites work @@
+An ordered set of arithmetic functions representing the least ε‐number
+Normal rank
@@ Property / cites work @@
+An initial segment of the set of polynomial functions with exponentiation
+Normal rank
@@ Property / cites work @@
+An ordinal bound for the set of polynomial functions with exponentiation
+Normal rank
@@ Property / cites work @@
+Solution of the identity problem for integral exponential functions
+Normal rank
@@ Property / cites work @@
+Q5340125
@@ Property / cites work: Q5340125 / rank @@
+Normal rank