On a theorem of Vaught for first order logic with finitely many variables - Ahmed, Tarek Sayed (Journal of applied non-classical logics, 2009)
Keywords: algebraic logic; games on graphs; Language; Logic; model theory; polyadic algebras; Variables; Vaught's theorem