О выразительной силе логики одноместного транзитивного замыкания для дискретного порядка

В работе показано, что в теории дискретного линейного порядка с одноместным оператором транзитивного замыкания с помощью формул длины $n$ можно представить сложение, умножение и экспоненту для натуральных чисел вплоть до $H_2(n)$, где $H_2(n)$ — гиперэкспонента.