Finite Axiomatizability Using Additional Predicates

@article{Craig1958FiniteAU,
  title={Finite Axiomatizability Using Additional Predicates},
  author={William Craig and Robert L. Vaught},
  journal={J. Symb. Log.},
  year={1958},
  volume={23},
  pages={289-308}
}