Reducts of (C, +, *) which Contain +
暂无分享，去创建一个
We show that the structure (C, +, •) has no proper non locally modular reducts which contain +. In other words, if X⊂C n is constructible and not definable in the module structure (C, +, λ a ) a∈C (where λ a denotes multiplication by a) then multiplication is definable in (C, +, X)
[1] B. I. Zilber. Some model theory of simple algebraic groups over algebraically closed fields , 1984 .
[2] J. Conway,et al. Functions of a Complex Variable , 1964 .
[3] Anand Pillay,et al. The Model theory of groups , 1989 .
[4] Anand Pillay,et al. Weakly normal groups , 1985, Logic Colloquium.