w-satisfiability, w-consistency property, and the downward Lowenheim Skolem theorem for L2+k,k