Axiomatizability of hereditary classes of structures of finite and infinite languages and decidability of their universal theories - Artem Ilev (2023)