reverse-mathematics

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles

Denis R Hirschfeldt,Chitat Chong,Qi Feng,Theodore A Slaman,W Hugh Woodin,Yue Yang