Applications of mapping cones over Clements–Lindström rings

We prove that Gotzmann's Persistence Theorem holds over every Clements–Lindström ring. We also construct the infinite minimal free resolution of a square-free Borel ideal over such a ring.