4 found
Order:
  1.  11
    Decidability for theories of modules over valuation domains.Lorna Gregory - 2015 - Journal of Symbolic Logic 80 (2):684-711.
  2.  13
    Decidability of the theory of modules over prüfer domains with infinite residue fields.Lorna Gregory, Sonia L’Innocente, Gena Puninski & Carlo Toffalori - 2018 - Journal of Symbolic Logic 83 (4):1391-1412.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  9
    Decidability of the theory of modules over Prüfer domains with dense value groups.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2019 - Annals of Pure and Applied Logic 170 (12):102719.
    We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    The torsion‐free part of the Ziegler spectrum of orders over Dedekind domains.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2020 - Mathematical Logic Quarterly 66 (1):20-36.
    We study the R‐torsion‐free part of the Ziegler spectrum of an order Λ over a Dedekind domain R. We underline and comment on the role of lattices over Λ. We describe the torsion‐free part of the spectrum when Λ is of finite lattice representation type.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark