15 found
Order:
  1.  8
    On the undecidability of some classes of abelian-by-finite groups.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1993 - Annals of Pure and Applied Logic 62 (2):167-173.
    Let G be a finite group. For every formula ø in the language of groups, let K denote the class of groups H such that ø is a normal abelian subgroup of H and the quotient group H;ø is isomorphic to G. We show that if G is nilpotent and its order is not square-free, then there exists a formula ø such that the theory of K is undecidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. A selection of papers presented at the" Stability in Model Theory III" conference.John T. Baldwin & Annalisa Marcja - 1993 - Annals of Pure and Applied Logic 62 (2).
  3.  11
    Preface.John T. Baldwin & Annalisa Marcja - 1989 - Annals of Pure and Applied Logic 45 (2):103.
  4.  17
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  5.  3
    Proceedings of the Colloquium: Held in Florence, 23-28 Aug., 1982. 1982.Gabriele Lolli, Giuseppe Longo & Annalisa Marcja - 1984 - North Holland.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  15
    Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
    Let G be a finite group. We prove that the theory af abelian-by-G groups is decidable if and only if the theory of modules over the group ring ℤ[G] is decidable. Then we study some model theoretic questions about abelian-by-G groups, in particular we show that their class is elementary when the order of G is squarefree.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  21
    Classification theory for abelian groups with an endomorphism.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1991 - Archive for Mathematical Logic 31 (2):95-104.
  8.  4
    Decidability for ℤ2 G-lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  11
    Decidability for ℤ2G‐lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
    Let G be the direct sum of the noncyclic groupof order four and a cyclic groupwhoseorderisthe power pn of some prime p. We show that ℤ2G-lattices have a decidable theory when the cyclotomic polynomia equation image is irreducible modulo 2ℤ for every j ≤ n. More generally we discuss the decision problem for ℤ2G-lattices when G is a finite group whose Sylow 2-subgroups are isomorphic to the noncyclic group of order four.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  11
    On Cantor-bendixson spectra containing (1,1). II.Annalisa Marcja & Carlo Toffalori - 1985 - Journal of Symbolic Logic 50 (3):611-618.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    On pseudo ‐n0‐categorical theories.Annalisa Marcja & Carlo Toffalori - 1984 - Mathematical Logic Quarterly 30 (35):533-540.
  12.  18
    On pseudo -n0-categorical theories.Annalisa Marcja & Carlo Toffalori - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (35):533-540.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  29
    On the elementarity of some classes of Abelian-by-infinite groups.Annalisa Marcja & Carlo Toffalori - 1999 - Studia Logica 62 (2):201-213.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    George Goe. Lezioni di logica. Franco Angeli Editore, Milan1983, xiii + 515 pp. [REVIEW]Annalisa Marcja - 1985 - Journal of Symbolic Logic 50 (3):860.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Review: George Goe, Lezioni di Logica. [REVIEW]Annalisa Marcja - 1985 - Journal of Symbolic Logic 50 (3):860-860.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark