Let R be an o-minimal expansion of a group in language which Th(R) eliminates quantifiers, and let C predicate for valuational cut R. We identify condition that implies quantifier elimination Th(R,C) the expanded by small number constants, which, turn, is implied having being universally axiomatizable. The applies example case when convex subring field its residue o-minimal.

Three types of triply periodic minimal surface (TPMS) structures are chosen to investigate the quasi-static and dynamic compressive behaviors in this paper. All TPMS lattices (Primitive, Gyroid, IWP) have same relative density 37.5%, samples fabricated by 3D printing selective laser melting technique using AlSi10Mg powder. The energy absorption performance load mitigation printed under three di...