TY  - RPRT
TI  - Hereditary undecidability of fragments of some elementary theories
AU  - Vladimir E. Karpov
PY  - 2024
UR  - https://arxiv.org/abs/2405.08422
ID  - 2405.08422
ER  -