Monthly Archives: March 2016

Computable processes can produce arbitrary outputs in nonstandard models (continued)

In the previous post, I discussed a theorem of Woodin, extended recently by Blanck and Enayat, showing that for every computably enumerable theory $T$, there is in index $e$ such that if $M\models T$ satisfies that $W_e$ is contained in … Continue reading

Posted in research | Tagged | 1 Comment

Computable processes can produce arbitrary outputs in nonstandard models

This is a talk at the CUNY MOPA Seminar in New York, April 13, 2016.

Posted in talks | Tagged | 6 Comments