TY  - RPRT
TI  - Finite axiomatizability for profinite groups
AU  - Andre Nies
AU  - Dan Segal
AU  - Katrin Tent
PY  - 2021
UR  - https://arxiv.org/abs/1907.02262
ID  - 1907.02262
ER  -