E-Recursion, Forcing and C*-Algebras Chitat Chong, Qi Feng, Theodore A Slaman, W. Hugh Woodin & Yue Yang: другие книги

Infinity And Truth

2013

Forcing, Iterated Ultrapowers, And Turing Degrees

2015

Notes On Forcing Axioms

2013

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

2014