Whether the theory of algebraically closed fields of a given characteristic admits such an axiomatization is Robinson's 6th problem and remains open. Recently discovered definability theory in simple context tells us that stable definability theory worked out at least to supersimple case. But oddly enough, the development takes reverse order of stable case. Many interesting features between stable forking, canonical bases and elimination of hyperimaginaries were revealed. Sunday, Nov. 12 0830-0930 Coffee, Muffins, etc.
Semilinear loci have good properties.
Some of these properties hold for semialgebraic loci when we restrict to a smaller class of analytically o-minimal sets. We have a small number of travel grants available for graduate students who wish to come to the conference but cannot find funding elsewhere. To apply for such a grant, please contact me directly. Both hotels are at a comfortable 10-15 min. At this time, there is no guarantee that these hotels still have rooms available.