On the decidability of the theory of modules over the ring of algebraic integers

, &
Annals of Pure and Applied Logic 168 (8):1507-1516 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.02.003

Links

PhilArchive



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

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

Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
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.
Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
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.
Definability of the ring of integers in some infinite algebraic extensions of the rationals.Kenji Fukuzaki - 2012 - Mathematical Logic Quarterly 58 (4-5):317-332.
Comparing First Order Theories of Modules over Group Rings II: Decidability.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (5):483-498.
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
Comparing First Order Theories of Modules over Group Rings.Saverio Cittadini & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (1):147-156.
Interpreting modules in modules.Mike Prest - 1997 - Annals of Pure and Applied Logic 88 (2-3):193-215.
Dedekind's 1871 version of the theory of ideals.Jeremy Avigad - manuscript
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
The elementary theory of e-free PAC domains.Aharon Razon - 2000 - Annals of Pure and Applied Logic 103 (1-3):55-95.
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.
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.

Analytics

Added to PP
2017-02-18

Downloads
17 (#819,600)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Decidability for theories of modules over valuation domains.Lorna Gregory - 2015 - Journal of Symbolic Logic 80 (2):684-711.
Model Theory and Modules.Mike Prest - 1989 - Journal of Symbolic Logic 54 (3):1115-1118.

Add more references