1. Barwise, K.J. (ed.): Handbook of mathematical logic North-Holland Publ. Co., Amsterdam-London, 1977
2. Baudisch, A.: Elimination of the quantifier Q in the theory of abelian groups Bull. de l'Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 24 (1976), 543–549.
3. Baudisch, A.: Decidability of the theory of abelian groups with Ramsey quantifiers Bull. de l'Acad. Polon. Sci., Ser. Sci. Math. Astronom. Phys. 25 (1977), 733–739
4. Chang, C.C. & Keisler, H.J.: Model theory North-Holland Publ. Co., Amsterdam-London, 1973
5. Cowles, J.: The theory of archimedean real closed fields in logics with Ramsey quantifiers Fund. Math. 103 (1979), 65–76