Louise Hay Logic Seminar
Tori Noquez and Maxwell Levine
UIC
Model Theory of Real Closed Fields
Abstract: We will discuss the algebra of ordered fields, and use this to show that the theory of real closed fields admits quantifier elimination, and thus, is model complete in the language of ordered rings.
From this, we prove that the theory of real closed fields is o-minimal, and give proofs of Hilbert's 17th problem and the Real Nullstellensatz.
Thursday September 20, 2012 at 3:00 PM in SEO 427