Elementary first-order theories of trees allowing at most, exactly $\mathrm{m}$, and any finite number of immediate descendants are introduced and proved mutually interpretable among themselves and with Robinson arithmetic, Adjunctive Set Theory with Extensionality and other well-known weak theories of numbers, sets, and strings.

Kristiansen and Murwanashyaka recently proved that Robinson arithmetic, Q, is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpretable in Q by producing a formal interpretation of T in an elementary concatenation theory QT+, thereby also establishing mutual interpretability of T with several well-known weak essentially undecidable theories of numbers, strings, and sets. We also introduce a “hybrid” elementary theory of strings and trees, WQT*, and establish its mutual interpretability with Robinson’s weak arithmetic R, the weak theory of trees WT of Kristiansen and Murwanashyaka, and the weak concatenation theory WTCε of Higuchi and Horihata.

Starting from three-dimensional non-linear elasticity under the restriction of incompressibility, we derive reduced models to capture the behaviour of strings in response to external forces. Our Γ-convergence analysis of the constrained energy functionals in the limit of shrinking cross-sections gives rise to explicit one-dimensional limit energies. The latter depend on the scaling of the applied forces. The effect of local volume preservation is reflected either in their energy densities through a constrained minimization over the cross-section variables or in the class of admissible deformations. Interestingly, all scaling regimes allow for compression and/or stretching of the string. The main difficulty in the proof of the Γ-limit is to establish recovery sequences that accommodate the non-linear differential constraint imposed by the incompressibility. To this end, we modify classical constructions in the unconstrained case with the help of an inner perturbation argument tailored for 3d-1d dimension reduction problems.