Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of ℚ
Crossref DOI link: https://doi.org/10.1007/s11856-023-2531-7
Published Online: 2023-12-22
Published Print: 2023-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Razon, Aharon
Text and Data Mining valid from 2023-11-01
Version of Record valid from 2023-11-01
Article History
Received: 9 August 2021
Revised: 27 January 2022
First Online: 22 December 2023