Vince Bárány, Lukasz Kaiser, Alexander Rabinovich. Expressing cardinality quantifiers in monadic second-order logic over chains. Journal of Symbolic Logic, 76(2):603-619, 2011. [doi]
@article{BaranyKR11, title = {Expressing cardinality quantifiers in monadic second-order logic over chains}, author = {Vince Bárány and Lukasz Kaiser and Alexander Rabinovich}, year = {2011}, url = {http://projecteuclid.org/euclid.jsl/1305810766}, tags = {logic}, researchr = {https://researchr.org/publication/BaranyKR11}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {76}, number = {2}, pages = {603-619}, }