Order:
Disambiguations
Annalisa Marcja [15]A. Marcja [5]
  1.  7
    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.
  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. Logic Colloquium '82 Proceedings of the Colloquium Held in Florence, 23-28 August, 1982.G. Lolli, Giuseppe Longo & A. Marcja - 1984
     
    Export citation  
     
    Bookmark  
  4.  7
    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  
  5.  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  
  6.  17
    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  
  7.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  15
    Preface.Maurice Boffa, Annalisa Marcja & Daniele Mundici - 1997 - Annals of Pure and Applied Logic 88 (2-3):93.
  9.  8
    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.  8
    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.  9
    Preface.John T. Baldwin & Annalisa Marcja - 1989 - Annals of Pure and Applied Logic 45 (2):103.
  12.  7
    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.
  13.  21
    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.
  14.  6
    Review: George Goe, Lezioni di Logica. [REVIEW]Annalisa Marcja - 1985 - Journal of Symbolic Logic 50 (3):860-860.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  16
    Classification Theory for Abelian Groups with an Endomorphism.Annalisa Marcja, Mike Prest & Carlo Toffalori - 1991 - Archive for Mathematical Logic 31 (2):95-104.
  16.  11
    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  
  17.  12
    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.
  18.  2
    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  
  19.  1
    On Pseudo ‐N0‐Categorical Theories.Annalisa Marcja & Carlo Toffalori - 1984 - Mathematical Logic Quarterly 30 (35):533-540.
    Direct download  
     
    Export citation  
     
    Bookmark