Recurrence and Frequencies. - Valérie Berthé; Ahmed Mimouni (WORDS, 2023)

The reverse mathematics of the pigeonhole hierarchy. - Quentin Le Houérou; Ludovic Levy Patey; Ahmed Mimouni (CoRR, 2024)