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: | |
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 |