Shalack, V. On Some Applied First-Order Theories Which Can Be Represented by Definitions. B Sect Log 2015, 44, 19-24.