TY  - RPRT
TI  - Combinatorial principles equivalent to weak induction
AU  - Caleb Davis
AU  - Denis R. Hirschfeldt
AU  - Jeffry L. Hirst
AU  - Jake Pardo
AU  - Arno Pauly
AU  - Keita Yokoyama
PY  - 2018
UR  - https://arxiv.org/abs/1812.09943
ID  - 1812.09943
ER  -