E-Recursion, Forcing and C*-Algebras Chitat Chong, Qi Feng, Theodore A Slaman, W. Hugh Woodin & Yue Yangの他のブック

Forcing, Iterated Ultrapowers, And Turing Degrees

2015年

Notes On Forcing Axioms

2013年

Infinity And Truth

2013年

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

2014年