TY - RPRT TI - On the finite axiomatizability of some metabelian profinite groups AU - Dan Segal PY - 2023 UR - https://arxiv.org/abs/2303.14776 ID - 2303.14776 ER -