Le quantificateur de Henkin defini dans L. Henkin "Some remarks on infinitely long formules", Infinistic Methods, Pergamon Press, New York & Varsovie, 1961, P.167-183, est etudie d'un point de vue semantique. D'autres types de quantificateurs (etudies par Chang et Hartig peuvent en etre derives.
['Michał Krynicki', 'Alistair H. Lachlan']
On the semantics of the Henkin quantifier