Monthly Archives: March 2010

A natural model of the multiverse axioms

V. Gitman and J. D. Hamkins, “A natural model of the multiverse axioms,” Notre dame j. form. log., vol. 51, iss. 4, pp. 475-484, 2010.   PDF Journal MR Citation arχiv @article {multiverse:gitmanhamkins, AUTHOR = {Gitman, Victoria and Hamkins, Joel … Continue reading

Posted in publications | Tagged , | Leave a comment

A natural model of the multiverse axioms

This is a talk at the MIT Logic Seminar, April 8, 2010.

Posted in talks | Tagged , , , | Leave a comment

Building a Virtual Computer – From Gates to Operating System

This is a project with Elisa Elshamy.

Posted in student projects | Leave a comment