Some logically weak Ramseyan theorems W Wang Advances in Mathematics 261, 1-25, 2014 | 36 | 2014 |

The definability strength of combinatorial principles W Wang The Journal of Symbolic Logic 81 (4), 1531-1554, 2016 | 21* | 2016 |

Cohesive sets and rainbows W Wang Annals of Pure and Applied Logic 165 (2), 389-408, 2014 | 20 | 2014 |

Rainbow Ramsey theorem for triples is strictly weaker than the arithmetical comprehension axiom W Wang The Journal of Symbolic Logic 78 (3), 824-836, 2013 | 12 | 2013 |

Relative enumerability and 1-genericity W Wang The Journal of Symbolic Logic 76 (3), 897-913, 2011 | 9 | 2011 |

Bounding non-GL2 and REA K Ambos-Spies, D Ding, W Wang, L Yu Journal of Symbolic Logic 74 (3), 989-1000, 2009 | 8 | 2009 |

The strength of the projective Martin conjecture CT Chong, W Wang, L Yu Fund. Math 207, 21-27, 2010 | 6 | 2010 |

Some reverse mathematics of rainbow Ramsey theorems W Wang Unpublished. URL: http://logic. sysu. edu. cn/Article/UploadFiles/201104 …, 0 | 6 | |

On the computability of perfect subsets of sets with positive measure C Chong, W Li, W Wang, Y Yang Proceedings of the American Mathematical Society 147 (9), 4021-4028, 2019 | 5 | 2019 |

On the strength of Ramsey's theorem for trees CT Chong, W Li, W Wang, Y Yang Advances in Mathematics 369, 107180, 2020 | 4 | 2020 |

Omitting cohesive sets W Wang arXiv preprint arXiv:1309.5428, 2013 | 4 | 2013 |

Martin’s Axiom and embeddings of upper semi-lattices into the Turing degrees W Wei Annals of Pure and Applied Logic 161 (10), 1291-1298, 2010 | 3 | 2010 |

On the definable ideal generated by the plus cupping ce degrees W Wang, D Ding Archive for Mathematical Logic 46 (3), 321-346, 2007 | 3 | 2007 |

Cofinal maximal chains in the Turing degrees W Wang, L Wu, L Yu Proceedings of the American Mathematical Society 142 (4), 1391-1398, 2014 | 2 | 2014 |

Hyperimmune-free degrees beyond ω CT Chong, W Wang preparation, 0 | 2 | |

Selection by Recursively Enumerable Sets W Merkle, F Stephan, J Teutsch, W Wang, Y Yang Theory and Applications of Models of Computation, Lecture Notes in Computer …, 0 | 1* | |

Pathwise-random trees and models of second-order arithmetic G Barmpalias, W Wang arXiv preprint arXiv:2104.12066, 2021 | | 2021 |

Where pigeonhole principles meet König lemmas D Belanger, C Chong, W Wang, TL Wong, Y Yang Transactions of the American Mathematical Society, 2021 | | 2021 |

On Non-standard Models of Arithmetic with Uncountable Standard Systems W Wang arXiv preprint arXiv:2007.05885, 2020 | | 2020 |

Relative Definability of n-generics W Wang The Journal of Symbolic Logic 83 (4), 1345-1362, 2018 | | 2018 |