Ross Willard Determining Whether V(A) Has a Model Companion is Undecidable. 325-355 2004 14 IJAC 3 http://dx.doi.org/10.1142/S0218196704001748 db/journals/ijac/ijac14.html#Willard04