Gregory, Lorna; L’Innocente, Sonia; Toffalori, Carlo Decidability of the theory of modules over Prüfer domains with dense value groups. (English) Zbl 1475.03086 Ann. Pure Appl. Logic 170, No. 12, Article ID 102719, 23 p. (2019). Reviewer: Mihai Prunescu (Bucharest) MSC: 03C60 03B25 13F05 PDFBibTeX XMLCite \textit{L. Gregory} et al., Ann. Pure Appl. Logic 170, No. 12, Article ID 102719, 23 p. (2019; Zbl 1475.03086) Full Text: DOI arXiv
L’Innocente, Sonia; Toffalori, Carlo; Puninski, Gena On the decidability of the theory of modules over the ring of algebraic integers. (English) Zbl 1422.03017 Ann. Pure Appl. Logic 168, No. 8, 1507-1516 (2017). MSC: 03B25 03C60 03C98 13C11 PDFBibTeX XMLCite \textit{S. L'Innocente} et al., Ann. Pure Appl. Logic 168, No. 8, 1507--1516 (2017; Zbl 1422.03017) Full Text: DOI arXiv Link
L’Innocente, Sonia; Macintyre, Angus; Point, Françoise Exponentiations over the universal enveloping algebra of \(\text{sl}_2(\mathbb C)\). (English) Zbl 1232.17023 Ann. Pure Appl. Logic 161, No. 12, 1565-1580 (2010). Reviewer: Carlo Toffalori (Camerino) MSC: 17B35 03C60 PDFBibTeX XMLCite \textit{S. L'Innocente} et al., Ann. Pure Appl. Logic 161, No. 12, 1565--1580 (2010; Zbl 1232.17023) Full Text: DOI
Herzog, Ivo; L’Innocente, Sonia The nonstandard quantum plane. (English) Zbl 1158.03021 Ann. Pure Appl. Logic 156, No. 1, 78-85 (2008). Reviewer: Carlo Toffalori (Camerino) MSC: 03C60 16W35 20G42 81R50 PDFBibTeX XMLCite \textit{I. Herzog} and \textit{S. L'Innocente}, Ann. Pure Appl. Logic 156, No. 1, 78--85 (2008; Zbl 1158.03021) Full Text: DOI