Follow
Wei Wang
Wei Wang
Verified email at mail.sysu.edu.cn
Title
Cited by
Cited by
Year
Some logically weak Ramseyan theorems
W Wang
Advances in Mathematics 261, 1-25, 2014
412014
The definability strength of combinatorial principles
W Wang
The Journal of Symbolic Logic 81 (4), 1531-1554, 2016
23*2016
Cohesive sets and rainbows
W Wang
Annals of Pure and Applied Logic 165 (2), 389-408, 2014
212014
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
132013
On the strength of Ramsey's theorem for trees
CT Chong, W Li, W Wang, Y Yang
Advances in Mathematics 369, 107180, 2020
122020
Relative enumerability and 1-genericity
W Wang
The Journal of Symbolic Logic 76 (3), 897-913, 2011
92011
The strength of the projective Martin conjecture
CT Chong, W Wang, L Yu
Fund. Math 207, 21-27, 2010
82010
Bounding non-GL2 and REA
K Ambos-Spies, D Ding, W Wang, L Yu
Journal of Symbolic Logic 74 (3), 989-1000, 2009
82009
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
72019
Some reverse mathematics of rainbow Ramsey theorems
W Wang
Unpublished. URL: http://logic. sysu. edu. cn/Article/UploadFiles/201104 …, 0
7
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
52010
Omitting cohesive sets
W Wang
arXiv preprint arXiv:1309.5428, 2013
42013
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
32021
Cofinal maximal chains in the Turing degrees
W Wang, L Wu, L Yu
Proceedings of the American Mathematical Society 142 (4), 1391-1398, 2014
32014
On the definable ideal generated by the plus cupping ce degrees
W Wang, D Ding
Archive for Mathematical Logic 46, 321-346, 2007
32007
Hyperimmune-free degrees beyond ω
CT Chong, W Wang
preparation, 0
2
Conservation strength of the infinite pigeonhole principle for trees
CT Chong, W Wang, Y Yang
Israel Journal of Mathematics, 1-24, 2023
12023
Pathwise-random trees and models of second-order arithmetic
G Barmpalias, W Wang
arXiv preprint arXiv:2104.12066, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–20