Hind Abu Saleh will speal about reducts of the real ordered field and strongly bounded structures. . Title: Reducts of the Real Ordered Field and Strongly Bounded Structures
Abstract: Let N =〈 A ;<,.. 〉 be an o-minimal structure and let A =〈 A ;.. 〉 be a reduct of N . The structure A is called strongly bounded if every A -definable subset of A is either bounded or co-bounded. In this talk we examine additive strongly bounded structures over R and as a corollary we identify all possible reducts of 〈 R ;+, ⋅ ,< 〉 , which expand the vector space
Timo Krisam will speal about distal theories and the type decomposition theorem. . Title: Distal Theories and the Type Decomposition Theorem
Abstract: The class of NIP-Theories is an important subject of study in pure model theory. It contains many interesting examples like stable theories, o-minimal theories or algebraically closed valued fields.
Martin Hils will speal about Classification of imaginaries in valued fields with automorphism.
Title: Classification of imaginaries in valued fields with automorphism
Abstract: The imaginaries in the theory ACVF of non-triviallally valued algebraically closed valued fields are classified by the so-called 'geometric' sorts. This is a fundamental result due to Haskell-Hrushovski-Macpherson. We show that the imaginaries in henselian equicharacteristic 0 valued fields may be reduced, under rather general
Yatir Halevi will speal about Coloring Stable Graphs.
Title: Coloring Stable Graphs
Abstract: Given a graph G=(V,E), a coloring of G in \kappa colors is a map c:V\to \kappa in which adjacent vertices are colored in different colors. The chromatic number of G is the smallest such \kappa. We will briefly review some questions and conjectures on the chromatic number of infinite graphs and will mainly concentrate on the strong form of Taylor's conjecture:
Yuval Dor will speal about Transformal Valued Fields.
Abstract: Abraham Robinson characterized the existentially closed valued fields as those which are algebraically closed and nontrivially valued. This theorem is somewhat surprising: it makes no assumption on the topology of the field other than the fact that it is not discrete, and immediately implies a strong from of the Nullstellensatz, asserting that the only obstruction to the solvability of a system of polynomial equations in a neighborhood of a point is the obvious one.
Eliana Bariga will speak about Definably compact semialgebraic groups over real closed fields.
Abstract: Semialgebraic groups over a real closed field can be seen as a generalization of the semialgebraic groups over the real field, and also as a particular case of the groups definable in an o-minimal structure.
OAntongiulio Fornasiero will speak about definable and interpretable groups and fields in the p-adics.
Abstract: A. Pillay showed that every definable group in the p-adics has a canonical topology and differential structure, and deduced that every definable field is either finite or a finite extension of Q_p. In a joint work with J. de la Nuez Gonzalez we extend the analysis to interpretable fields, and show that they are either countable or finite extensions of Q_p.