Counting quantifiers and the stellar fragment. http://www.cs.man.ac.uk/˜ipratt/papers/logic/f2.ps (2004)

by I Pratt-Hartmann