TY  - RPRT
TI  - There are no minimal essentially undecidable Theories
AU  - Fedor Pakhomov
AU  - Juvenal Murwanashyaka
AU  - Albert Visser
PY  - 2022
UR  - https://arxiv.org/abs/2207.08174
ID  - 2207.08174
ER  -