Tori Noquez : Definable Linear Orders in o-minimal Structures

Posted by Victoria Noquez , part of the Louise Hay Logic Seminar.

At

March 21, 2013, 3:30 p.m.

In

SEO 427

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.