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
362014
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
202014
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
122013
Relative enumerability and 1-genericity
W Wang
The Journal of Symbolic Logic 76 (3), 897-913, 2011
92011
Bounding non-GL2 and REA
K Ambos-Spies, D Ding, W Wang, L Yu
Journal of Symbolic Logic 74 (3), 989-1000, 2009
82009
The strength of the projective Martin conjecture
CT Chong, W Wang, L Yu
Fund. Math 207, 21-27, 2010
62010
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
52019
On the strength of Ramsey's theorem for trees
CT Chong, W Li, W Wang, Y Yang
Advances in Mathematics 369, 107180, 2020
42020
Omitting cohesive sets
W Wang
arXiv preprint arXiv:1309.5428, 2013
42013
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
32010
On the definable ideal generated by the plus cupping ce degrees
W Wang, D Ding
Archive for Mathematical Logic 46 (3), 321-346, 2007
32007
Cofinal maximal chains in the Turing degrees
W Wang, L Wu, L Yu
Proceedings of the American Mathematical Society 142 (4), 1391-1398, 2014
22014
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
The system can't perform the operation now. Try again later.
Articles 1–20