Switch to: References

Add citations

You must login to add citations.
  1. Equational theories of fields.Amador Martin-Pizarro & Martin Ziegler - 2020 - Journal of Symbolic Logic 85 (2):828-851.
    A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tame Expansions of $\omega$ -Stable Theories and Definable Groups.Haydar Göral - 2019 - Notre Dame Journal of Formal Logic 60 (2):161-194.
    We study groups definable in tame expansions of ω-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and interpretable in these expansions. As our main example, by characterizing independence in the pair, where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show that the pair satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in in terms of algebraic groups in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Interpretable groups in Mann pairs.Haydar Göral - 2018 - Archive for Mathematical Logic 57 (3-4):203-237.
    In this paper, we study an algebraically closed field \ expanded by two unary predicates denoting an algebraically closed proper subfield k and a multiplicative subgroup \. This will be a proper expansion of algebraically closed field with a group satisfying the Mann property, and also pairs of algebraically closed fields. We first characterize the independence in the triple \\). This enables us to characterize the interpretable groups when \ is divisible. Every interpretable group H in \\) is, up to (...)
    Download  
     
    Export citation  
     
    Bookmark