Ehrenfeucht games for generalized quantifiers. (English) Zbl 0338.02008
Set Theory Hierarchy Theory, Mem. Tribute A. Mostowski, Bierutowice 1975, Lect. Notes Math. 537, 145-152 (1976).
MSC:
03C80 | Logic with extra quantifiers and operators |