Infinity And Truth Infinity And Truth
2013년
E-Recursion, Forcing and C*-Algebras E-Recursion, Forcing and C*-Algebras
2014년
Forcing, Iterated Ultrapowers, And Turing Degrees Forcing, Iterated Ultrapowers, And Turing Degrees
2015년
Notes On Forcing Axioms Notes On Forcing Axioms
2013년
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
2014년