Does anyone know of a p-adic analogue of Liouville's approximation theorem http://mathworld.wolfram.com/LiouvillesApproximationTheorem.html with proof?
I'm aware of Roth's theorem and subspace theorems which can be generalized to p-adic numbers, these are different in that the constants are not effective.

