Piotr Wojtylak Independent Axiomatizability of Sets of Sentences. 259-299 1989 44 Ann. Pure Appl. Logic 3 db/journals/apal/apal44.html#Wojtylak89