Publisher
Springer Science and Business Media LLC
Reference28 articles.
1. Altman, A., Kleiman, S.: A Term of Commutative Algebra, p. 441. Worldwide Center of Mathematics (2021). https://dspace.mit.edu/handle/1721.1/116075.2
2. Aschenbrenner, M., Khélif, A., Naziazeno, E., Scanlon, T.: The logical complexity of finitely generated commutative rings. Int. Math. Res. Not. 2020(1), 112–166 (2018). https://doi.org/10.1093/imrn/rny023
3. Barone, M., Caro, N., Naziazeno, E.: Uniform definability of integers in reduced indecomposable polynomial rings. J. Symb. Logic. 85(4), 1376–1402 (2020). https://doi.org/10.1017/jsl.2020.50
4. Barone, M., Caro-Montoya, N., Naziazeno, E.: Remarks on undecidability of indecomposable polynomial rings (2023). arXiv:2304.02165v2
5. Becker, J., Denef, J., Lipshitz, L.: Further remarks on the elementary theory of formal power series rings. In: Model Theory of Algebra and Arithmetic (Proc. Conf., Karpacz, 1979). Lecture Notes in Math., vol. 834, pp. 1–9. Springer, Berlin (1980). https://doi.org/10.1007/BFb0090156