Representing Scott sets in algebraic settings

Model theory seminarFriday, November 7, 201410:45 amGC5382

David Marker

Representing Scott sets in algebraic settings

University of Illinois at Chicago

The longstanding problem of representing Scott sets as standard systems of models of Peano Arithmetic is one of the most vexing in the subject. We show that the analogous question has a positive solution for real closed fields and Presburger arithmetic. This is joint work with Alf Dolich, Julia Knight and Karen Lange.

Professor Marker holds the position of LAS Distinguished Professor in the Department of Mathematics, Statistics, and Computer Science at the University of Illinois at Chicago. He conducts research in model theory and it applications, particularly in applications to real algebraic geometry and real analytic geometry, exponentiation and differential algebra. His excellent textbook Model Theory: an Introduction is widely studied.

Posted by on September 25th, 2014