-
H-structures
H-structures
A complete theory T is called geometric if the algebraic closure has the exchange property in all models of T and the theory 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 […]