TY  - RPRT
TI  - The Undecidability of the Definability of Principal Subcongruences
AU  - Matthew Moore
PY  - 2014
DO  - 10.1017/jsl.2014.51
UR  - https://arxiv.org/abs/1301.5588
ID  - 1301.5588
ER  -