E-Recursion, Forcing and C*-Algebras Altri libri di 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