Some logically weak Ramseyan theorems W Wang Advances in Mathematics 261, 1-25, 2014 | 45 | 2014 |
The definability strength of combinatorial principles W Wang The Journal of Symbolic Logic 81 (4), 1531-1554, 2016 | 28* | 2016 |
Cohesive sets and rainbows W Wang Annals of Pure and Applied Logic 165 (2), 389-408, 2014 | 23 | 2014 |
On the strength of Ramsey's theorem for trees CT Chong, W Li, W Wang, Y Yang Advances in Mathematics 369, 107180, 2020 | 13 | 2020 |
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 | 13 | 2013 |
Relative enumerability and 1-genericity W Wang The Journal of Symbolic Logic 76 (3), 897-913, 2011 | 9 | 2011 |
The strength of the projective Martin conjecture CT Chong, W Wang, L Yu Fund. Math 207, 21-27, 2010 | 8 | 2010 |
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 |
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 | 7 | 2019 |
Some reverse mathematics of rainbow Ramsey theorems W Wang Unpublished. URL: http://logic. sysu. edu. cn/Article/UploadFiles/201104 …, 0 | 7 | |
Omitting cohesive sets W Wang arXiv preprint arXiv:1309.5428, 2013 | 5 | 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 | 5 | 2010 |
Where pigeonhole principles meet König lemmas D Belanger, C Chong, W Wang, TL Wong, Y Yang Transactions of the American Mathematical Society 374 (11), 8275-8303, 2021 | 3 | 2021 |
Cofinal maximal chains in the Turing degrees W Wang, L Wu, L Yu Proceedings of the American Mathematical Society 142 (4), 1391-1398, 2014 | 3 | 2014 |
On the definable ideal generated by the plus cupping ce degrees W Wang, D Ding Archive for Mathematical Logic 46, 321-346, 2007 | 3 | 2007 |
Pathwise-randomness and models of second-order arithmetic G Barmpalias, W Wang Information and Computation, 105181, 2024 | 2 | 2024 |
Conservation strength of the infinite pigeonhole principle for trees CT Chong, W Wang, Y Yang Israel Journal of Mathematics 260 (1), 341-364, 2024 | 2 | 2024 |
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* | |
Randomness below complete theories of arithmetic G Barmpalias, W Wang Information and Computation 290, 104983, 2023 | | 2023 |