Combinatorial principles weaker than Ramsey’s theorem for pairs (2007)

by D R Hirschfeldt, R A Shore
Venue:J. Symbolic Logic