Henkin quantifiers and complete theories, Annals of Pure and Applied Logic 32 (1986)

by Andreas Blass, Yuri Gurevich