Effective translation of extended $ <$ - invariant formulas in $ <$ -bounded in Semenov arithmetic

In previous papers it was established in the Semenov arithmetic there is the collapse result. Here we prove this result can be effective in many cases.