Decidability of the theory of modules over prüfer domains with infinite residue fields

, , &
Journal of Symbolic Logic 83 (4):1391-1412 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.58

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
Towards the decidability of the theory of modules over finite commutative rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1-2):49-70.
Weakly minimal modules over integral group rings and over related classes of rings.Stefano Leonesi, Sonia L'Innocente & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (6):613-625.
Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
Comparing First Order Theories of Modules over Group Rings II: Decidability.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (5):483-498.
Decidability for theories of modules over valuation domains.Lorna Gregory - 2015 - Journal of Symbolic Logic 80 (2):684-711.
Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
The theory of {vec Z}C(2)^2-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
Comparing First Order Theories of Modules over Group Rings.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (1):147-156.
Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
Definability and decidability in infinite algebraic extensions.Alexandra Shlapentokh & Carlos Videla - 2014 - Annals of Pure and Applied Logic 165 (7-8):1243-1262.
Asymptotic theory of modules of separably closed fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
The modular structure of physical theories.Olivier Darrigol - 2008 - Synthese 162 (2):195 - 223.
Theories of ω-layered metric temporal structures: expressiveness and decidability.A. Montanari, A. Peron & A. Policriti - 1999 - Logic Journal of the IGPL 7 (1):79-102.

Analytics

Added to PP
2018-12-22

Downloads
12 (#1,085,300)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.

Add more references