Gunnar Wilken Sigma<sub>1</sub>-elementarity and Skolem hull operators. 162-175 2007 145 Ann. Pure Appl. Logic 2 http://dx.doi.org/10.1016/j.apal.2006.07.004 db/journals/apal/apal145.html#Wilken07a