Phase Transitions for Weakly Increasing Sequences. - Michiel De Smet; Andreas Weiermann (CiE, 2008)

A Miniaturisation of Ramsey's Theorem. - Michiel De Smet; Andreas Weiermann (CiE, 2010)

Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal. - Michiel De Smet; Andreas Weiermann (Ann. Pure Appl. Log., 2012)

Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences. - Michiel De Smet; Andreas Weiermann (J. Log. Comput., 2012)

Phase Transitions Related to the Pigeonhole Principle. - Michiel De Smet; Andreas Weiermann (CiE, 2014)

A Glimpse at Polynomials with Quantifiers. - Andrey Bovykin; Michiel De Smet (FLAP, 2017)