Switch to: References

Add citations

You must login to add citations.
  1. Equivalence elementaire et decidabilite pour Des structures du type groupe agissant sur un groupe abelien.Patrick Simonetta - 1998 - Journal of Symbolic Logic 63 (4):1255-1285.
    We prove an Ax-Kochen-Ershov like transfer principle for groups acting on groups. The simplest case is the following: let B be a soluble group acting on an abelian group G so that G is a torsion-free divisible module over the group ring Z[B], then the theory of B determines the one of the two-sorted structure $\langle G, B, *\rangle$ , where * is the action of B on G. More generally, we show a similar principle for structures $\langle G, B, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark