TY  - RPRT
TI  - Profiniteness in finitely generated varieties is undecidable
AU  - Anvar M. Nurakunov
AU  - Michał M. Stronkowski
PY  - 2017
DO  - 10.1017/jsl.2017.89
UR  - https://arxiv.org/abs/1712.09056
ID  - 1712.09056
ER  -