1 Infinite time Turing machines
来源：J SYMBOLIC LOGIC( P 0022-4812 E ) 发表时间: 2000/06
类型：期刊论文 为本人加分：15723.858223
2 the set-theoretic multiverse
来源：REV SYMB LOGIC( P 1755-0203 E 1755-0211 ) 发表时间: 2012/09
类型：期刊论文 为本人加分：15395.920068
3 The lottery preparation
来源：ANN PURE APPL LOGIC( P 0168-0072 E ) 发表时间: 2000/02
类型：期刊论文 为本人加分：8880.000000
4 Extensions with the approximation and cover properties have no new large cardinals
来源：FUND MATH( P 0016-2736 E ) 发表时间: 2003/01
类型：期刊论文 为本人加分：8833.166683
5 Gap forcing
来源：ISRAEL J MATH( P 0021-2172 E ) 发表时间: 2001/01
类型：期刊论文 为本人加分：8465.633273
6 Gap forcing: Generalizing the Levy-Solovay theorem
来源：B SYMB LOG( P 1079-8986 E 1943-5894 ) 发表时间: 1999/06
类型：期刊论文 为本人加分：7526.048563
7 A simple maximality principle
来源：J SYMBOLIC LOGIC( P 0022-4812 E ) 发表时间: 2003/06
类型：期刊论文 为本人加分：5848.080308
8 Infinite time Turing machines
来源：MIND MACH( P 0924-6495 E 1572-8641 ) 发表时间: 2002/11
类型：期刊论文 为本人加分：5690.441302
9 The modal logic of forcing
来源：T AM MATH SOC( P 0002-9947 E 1088-6850 ) 发表时间: 2008/01
类型：期刊论文 为本人加分：3628.854297
10 Small forcing creates neither strong nor Woodin cardinals
来源：P AM MATH SOC( P 0002-9939 E 1088-6826 ) 发表时间: 2000/01
类型：期刊论文 为本人加分：3481.860931