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

@@ 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/978-3-642-03073-4_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1543289121
@@ Property / OpenAlex ID: W1543289121 / rank @@
+Normal rank
@@ 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