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

Tools

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. (Request a copy)

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
Related URLs:	http://www.scopus.com/inward/record.url?...
Depositing User:	LivePure Connector
Date Deposited:	17 Oct 2022 12:30
Last Modified:	25 Oct 2022 00:17
URI:	https://ueaeprints.uea.ac.uk/id/eprint/89129
DOI:	10.1017/jsl.2018.58

Actions (login required)

View Item