Order:
  1.  11
    Axiomatization of Abelian-by- G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
    We show that, for each finite group G, there exists an axiomatization of the class of abelian-by-G groups with a single sentence. In the proof, we use the definability of the subgroups M n in an abelian-by-finite group M, and the Auslander-Reiten sequences for modules over an Artin algebra.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  5
    Elementary Equivalence of Rings with Finitely Generated Additive Groups.Alexei G. Myasnikov, Francis Oger & Mahmood Sohrabi - 2018 - Annals of Pure and Applied Logic 169 (6):514-522.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  20
    The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
    In [01], we gave algebraic characterizations of elementary equivalence for finitely generated finite-by-abelian groups, i.e. finitely generated FC-groups. We also provided several examples of finitely generated finite-by-abelian groups which are elementarily equivalent without being isomorphic. In this paper, we shall use our previous results to describe precisely the models of the theories of finitely generated finite-by-abelian groups and the elementary embeddings between these models.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark