Lie's Third Theorem states that any real (finite-dimensional) Lie algebra has associated a Lie group. Moreover, this Lie group is a matrix group.
I'm interested to Lie algebras over $\mathbb{C}$ and finite exitensions of $\Bbb Q_p$. Does there exist an analogue of Lie's Third Theorem to such algebras? If so, do you have any reference which I can check?
Thank you.