Uri Andrews

Math Professor

(MyLastName)@math.wisc.edu

Contact

(MyLastName)@math.wisc.edu

723 Van Vleck Hall

Department of Mathematics
University of Wisconsin
480 Lincoln Dr.

Research

My research lies in the area of Mathematical Logic. I am broadly interested in many topics from mathematical logic. My main focus is on the areas of Recursion Theory, Model Theory, and the natural blending of the two: Recursive Model Theory.

Recursive Model Theory is the study of the connection between elementary properties of a theory and problems of computation regarding its models. For example, Julia Knight and I showed that if a theory is strongly minimal and has one recursive model, then all of its countable models are computable from $0'''$. This is very much not true for general theories (e.g. arithmetic), and encapsulates the computability-theoretic content of strong minimality.

Other Stuff I'm Into

Slides for a talk I gave in honor of my mentor and friend Steffen Lempp (open in full-screen on a desktop, preferably using chrome. Click left and right to move between slides.)

I'm an avid chess player, USCF National Master since 2013. I play mostly over on lichess nowadays.

I used to be known for travelling around town on my unicycle, but it's become a bit less common.

I've become increasingly interested in Web Development. Please check out my project PaperStatusTracker. It's a great way to keep track of all your research projects, which co-author is currently working on what thing, or when and where papers were submitted.