Simple theories”, Annals of Pure Applied Logic (1997)

by B Kim, A Pillay