Multiples in sets of positive upper density

Not necessarily: you can in fact have $M_k(A)=\varnothing$ for all integer $k\ge 2$. This was shown by Besicovitch ("On the density of certain sequences of integers", Math. Ann. 110 (1935), no. 1, 336–341) who has constructed a set (of positive integers) of positive upper density such that none of the elements of the set is divisible by any other element.


Besicovitch's result mentioned by Seva is quite hard, while in your question you may simply take $A=\cup [n!+1,2n!]$.