Roman Kossak A note on a theorem of Kanovei. 565-569 2004 43 Arch. Math. Log. 4 http://dx.doi.org/10.1007/s00153-004-0218-2 db/journals/aml/aml43.html#Kossak04