Dugald Macpherson Finite Axiomatizability and Theories with Trivial Algebraic Closure. 188-192 1991 32 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl32.html#Macpherson91