Eric Rosen

Visiting scholar

Department of Mathematics, 2-242
Massachusetts Institute of Technology
77 Massachusetts Avenue
Cambridge, MA 02139
(617) 253-2948

rosen (at) math (dot) mit (dot) edu

Research

My interests include model theory and applications to differential algebra and algebraic geometry.
I have also done some work in finite model theory.

Papers

Here are slides from a recent talk on `A differential Chevalley theorem' at the AMS Eastern sectional meeting.

My recent papers are available on the ArXiv.
Some of my older papers are available here, and are also listed in the computer science bibliography DBLP.

Teaching

18.504, Seminar in logic, on finite model theory (Spring 2008)
18.S67, Logic and computation (freshman seminar) (Spring 2008)
Course description here.
18.511, Introduction to mathematical logic and recursion theory (Fall 2007)
18.504, Seminar in logic (Spring 2007)
18.575, Model theory (Spring 2007)
18.510, Introduction to mathematical logic and set theory (Fall 2006)

Logic Seminar

The logic seminar meets on Wednesday afternoon. You can also read more about logic at MIT.

Last updated February 2009