Yoshihito Tanaka An Infinitary Extension of Jankov's Theorem. 111-131 2007 86 Studia Logica 1 http://dx.doi.org/10.1007/s11225-007-9048-7 db/journals/sLogica/sLogica86.html#Tanaka07