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

Gregory, Lorna ORCID: https://orcid.org/0000-0002-5508-7217, L'Innocente, Sonia, Puninski, Gena and Toffalori, Carlo (2018) Decidability of the theory of modules over prüfer domains with infinite residue fields. Journal of Symbolic Logic, 83 (4). pp. 1391-1412. ISSN 0022-4812

Full text not available from this repository.

Abstract

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary.

Item Type:	Article
Additional Information:	Publisher Copyright: © The Association for Symbolic Logic 2018.
Uncontrolled Keywords:	bézout domain,decidability,prime radical relation,prüfer domain,philosophy,logic ,/dk/atira/pure/subjectarea/asjc/1200/1211
Faculty \ School:	Faculty of Science > School of Mathematics (former - to 2024)
UEA Research Groups:	Faculty of Science > Research Groups > Algebra, Number Theory, Logic, and Representations (ANTLR)
Related URLs:	https://www.scopus.com/pages/publication...
Depositing User:	LivePure Connector
Date Deposited:	17 Oct 2022 12:30
Last Modified:	18 Jun 2026 19:40
URI:	https://ueaeprints.uea.ac.uk/id/eprint/89129
DOI:	10.1017/jsl.2018.58

Actions (login required)

View Item