Tight extensions of T. - Collins Amburo Agyingi; Paulus Haihambo; Hans-Peter A. Künzi (Logic, Computation, Hierarchies, 2014)