On orderings of the family of all logics. M. Krynicki, J. Väänänen (1982) Archiv für mathematische Logik und Grundlagenforschung
On two complete sets in the analytical and the arithmetical hierarchies. Shlomo Vinner (1975) Archiv für mathematische Logik und Grundlagenforschung