Shalack, Vladimir. 2015. “On Some Applied First-Order Theories Which Can Be Represented by Definitions”. Bulletin of the Section of Logic 44 (1/2):19-24. https://doi.org/10.18778/0138-0680.44.1.2.03.