Schmerl decompositions in first order arithmetic. - François G. Dorais; Zachary Evans; Marcia J. Groszek; Seth Harris; Theodore A. Slaman (Ann. Pure Appl. Log., 2019)