1 Some logically weak Ramseyan theorems
来源：ADV MATH( P 0001-8708 E 1090-2082 ) 发表时间: 2014/08
类型：期刊论文 为本人加分：2643.470571
2 Cohesive sets and rainbows
来源：ANN PURE APPL LOGIC( P 0168-0072 E 1873-2461 ) 发表时间: 2014/02
类型：期刊论文 为本人加分：1320.000000
3 rainbow ramsey theorem for triples is strictly weaker than the arithmetical comprehension axiom
来源：J SYMBOLIC LOGIC( P 0022-4812 E 1943-5886 ) 发表时间: 2013/09
类型：期刊论文 为本人加分：808.080308
4 the definability strength of combinatorial principles
来源：J SYMBOLIC LOGIC( P 0022-4812 E 1943-5886 ) 发表时间: 2016/12
类型：期刊论文 为本人加分：688.080308
5 relative enumerability and 1-genericity
来源：J SYMBOLIC LOGIC( P 0022-4812 E ) 发表时间: 2011/09
类型：期刊论文 为本人加分：688.080308
6 Martin's Axiom and embeddings of upper semi-lattices into the Turing degrees
来源：ANN PURE APPL LOGIC( P 0168-0072 E 1873-2461 ) 发表时间: 2010/07
类型：期刊论文 为本人加分：360.000000
7 RELATIVE DEFINABILITY OF n-GENERICS
来源：J SYMBOLIC LOGIC( P 0022-4812 E 1943-5886 ) 发表时间: 2018/12
类型：期刊论文 为本人加分：88.080308
8 cofinal maximal chains in the turing degrees
来源：P AM MATH SOC( P 0002-9939 E 1088-6826 ) 发表时间: 2014/04
类型：期刊论文 为本人加分：77.625641
9 on the computability of perfect subsets of sets with positive measure
来源：P AM MATH SOC( P 0002-9939 E 1088-6826 ) 发表时间: 2019/09
类型：期刊论文 为本人加分：76.772722
10 On the strength of Ramsey's theorem for trees
来源：ADV MATH( P 0001-8708 E 1090-2082 ) 发表时间: 2020/08
类型：期刊论文 为本人加分：64.118748