Logic Seminar
Bektur Baizhanov
Institute Mathematics and Mathematical Modeling, Almaty, Kazakhstan
O-stable theories
Abstract: A well-developed technique created to study stable theories (M. Morley, S. Shelah) is applied in dealing with a class of theories with definable linear order. We introduce the notion of an o-stable theory, which generalizes the concepts of o-minimality, of weak o-minimality, and of quasi-o-minimality. It is proved that o-stable theories are dependent, but they do not exhaust the class of dependent theories with definable linear order, and that every linear order is o-superstable.
Results obtained together with Viktor Verbovsky
Tuesday October 16, 2012 at 4:00 PM in SEO 427