Ali Enayat, Fedor Pakhomov: Truth, disjunction, and induction. Arch. Math. Log. 58(5-6): 753-766 (2019)