TY  - RPRT
TI  - Definability and decidability for rings of integers in totally imaginary fields
AU  - Caleb Springer
PY  - 2023
DO  - 10.1112/blms.12933
UR  - https://arxiv.org/abs/2207.00140
ID  - 2207.00140
ER  -