More on monadic logic. Part D: A note on addition of theories (Q2639848)

In Notre Dame J. Formal Logic 26, 229-303 (1985; Zbl 0596.03033)], \textit{J. Baldwin} and the author classified all theories of the form (T,\({\mathcal L})\), where (T,\({\mathcal L})\) is the set of \({\mathcal L}\)-sentences valid in models of the complete first-order theory T and \({\mathcal L}\) is one of the following: second-order logic, permutational logic, monadic logic. This classification necessitated in part the computation of bounds for certain kinds of Hanf numbers. In the present paper the author improves some results of the cited paper, closing a small gap therein.