Séminaire Logique mathématique ICJ


by Prof. Alexander Berenstein (Universidad de los Andes)

112 (Braconnier)



Abstract: A complete theory T is called geometric if the algebraic closure has the exchange property in all models of T and thetheory eliminates the quantifier exists infinity. In such theories there is a rudimentary notion of independence given by algebraic independence. Examples of geometric theories include SU-rank one theories and dense o-minimal theories.
An expansion of a model M of T by a unary predicate H is called dense-codense if for every finite dimensional subset A of M and every non algebraic type p(x) over A, there is a realization of p(x) in H(M) and another one which is not algebraic over AH(M).A dense-codense expansion is called an H-structure if in addition H(M) is algebraically independent.
In this talk we will talk about the basic properties of H-structures and explain why the new structure can be understood as a tame expansion of the original structure M. We will discuss groups definable in this expansion. We will also present some recent results on the special case when M is the ultrapower of a one-dimensional asymptotic class.
This talk includes joint work with E. Vassiliev, D. Garcia and T. Zou.