Einbettung elementarer Theorien in endlich axiomatisierbare. - Haertig, Klaus (1958)