TY  - RPRT
TI  - Axiomatizability of hereditary classes of structures of finite and infinite languages and decidability of their universal theories
AU  - Artem Ilev
PY  - 2023
UR  - https://arxiv.org/abs/2312.16650
ID  - 2312.16650
ER  -