## UIC Graduate Student Seminar

Friday September 21

3:00 pm

636 SEO

Speaker: David Marker

Title: Mathematical Logic and Real Geometry

Abstract: Godel's Incompleteness Theorem tell us that there is no
algorithm for deciding if a sentence about the natural numbers is true or
false. In sharp contrast, Tarski showed that there is an algorithm
for deciding the truth of senteces about the real field. Tarski's ideas
and modern extensions have intersting applicaitons to real analytic geometry.
I will give a broad survey of these ideas.