Kerkko Luosto and Jouko Väänänen, The hierarchy theorem for generalized quantifiers (1996)

by Lauri Hella
Venue:Journal of Symbolic Logic