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.