Text this: On Decidability of the Theory <i>Th(u, 0,1,<, +, f</i><sub><i></i></sub><sub><i>0</i></sub><i></i><i>,..., f</i><sub><i></i></sub><sub><i>n</i></sub><i></i><i>)</i>