On the relationships between some meta-mathematical properties of arithmetical theories. - Cheng, Yong (Logic Journal of the IGPL, 2024)