Alexander Berenstein Ziv Shami Invariant Version of Cardinality Quantifiers in Superstable Theories. 343-351 2006 47 Notre Dame Journal of Formal Logic 3 http://projecteuclid.org/euclid.ndjfl/1163775441 db/journals/ndjfl/ndjfl47.html#BerensteinS06