Elementary equivalence of derivative structures of classical and universal algebras and second order logicдоклад на конференции