Reverse mathematics and colorings of hypergraphs. - Caleb Davis; Jeffry L. Hirst; Jake Pardo; Tim Ransom (Arch. Math. Log., 2019)

Combinatorial principles equivalent to weak induction. - Caleb Davis; Denis R. Hirschfeldt; Jeffry L. Hirst; Jake Pardo; Arno Pauly; Keita Yokoyama (Comput., 2020)