Order:
Disambiguations
Annalisa Marcja [16]A. Marcja [4]
  1.  15
    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.  14
    Preface.John T. Baldwin & Annalisa Marcja - 1989 - Annals of Pure and Applied Logic 45 (2):103.
  4.  20
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  5.  16
    Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
  6.  5
    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  
  7.  23
    Completeness Theorems For Modal Model Theory With the Montague‐Chang Semantics I.J. A. Makowsky & A. Marcja - 1976 - Mathematical Logic Quarterly 23 (7‐12):97-104.
  8.  29
    Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
  9.  21
    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  
  10.  23
    Classification theory for abelian groups with an endomorphism.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1991 - Archive for Mathematical Logic 31 (2):95-104.
  11.  6
    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  
  12.  13
    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  
  13.  14
    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  
  14.  6
    On pseudo ‐n0‐categorical theories.Annalisa Marcja & Carlo Toffalori - 1984 - Mathematical Logic Quarterly 30 (35):533-540.
  15.  25
    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  
  16.  35
    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  
  17.  19
    The torsionfree part of the Ziegler spectrum of $RG$ when $R$ is a Dedekind domain and $G$ is a finite group.A. Marcja, M. Prest & C. Toffalori - 2002 - Journal of Symbolic Logic 67 (3):1126-1140.
  18.  10
    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  
  19.  11
    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