In [1], we proved that a certain family of number theoretic functions S* is well-ordered by the majorisation relation '≺'. Furthermore, we proved that a lower bound on the ordinal O(S*, ≺ ) of this well-order is the least critical epsilon number τ0. In this paper we prove that τ0 is also an upper bound for its ordinal, whence our sought-after result, is an immediate consequence. © 2010 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Barra, M., & Gerhardy, P. (2010). The ordinal of Skolem + tetration is τ0. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6158 LNCS, pp. 31–38). https://doi.org/10.1007/978-3-642-13962-8_4
Mendeley helps you to discover research relevant for your work.