TY  - RPRT
TI  - Arities and aritizabilities of first-order theories
AU  - Sergey V. Sudoplatov
PY  - 2021
UR  - https://arxiv.org/abs/2112.09593
ID  - 2112.09593
ER  -