The definable tree property for successors of cardinals. - Ali Sadegh Daghighi; Massoud Pourmahdian (Arch. Math. Log., 2016)