Louise Hay Logic Seminar
Tori Noquez
UIC
Definable Linear Orders in o-minimal Structures
Abstract: We will discuss the result of Janak Ramakrishnan's paper "Definable Linear Orders Definably Embed Into Lexicographic Orders in o-minimal Structures". If (P,<) is M-definable in an o-minimal group M with n=dim(P), then there is an M-definable embedding of (P,<) into (M^{2n+1},<_lex). We will go over the proof of the n=1 case during this talk.
Thursday March 21, 2013 at 3:30 PM in SEO 427