Decidability of the theory of modules over Prüfer domains with dense value groups

Gregory, Lorna ORCID: https://orcid.org/0000-0002-5508-7217, L'Innocente, Sonia and Toffalori, Carlo (2019) Decidability of the theory of modules over Prüfer domains with dense value groups. Annals of Pure and Applied Logic, 170 (12). ISSN 0168-0072

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 whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.

Item Type:	Article
Additional Information:	Funding Information: The second and third authors thank the Italian GNSAGA-INdAM for its support. Publisher Copyright: © 2019 Elsevier B.V.
Uncontrolled Keywords:	bézout domain,decidability,dense value group,prüfer domain,logic ,/dk/atira/pure/subjectarea/asjc/2600/2609
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 13:33
URI:	https://ueaeprints.uea.ac.uk/id/eprint/89127
DOI:	10.1016/j.apal.2019.102719

Actions (login required)

View Item