Pfaffian definitions of Weierstrass elliptic functions

We give explicit definitions of the Weierstrass elliptic functions ℘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\wp $$\end{document} and ζ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\zeta $$\end{document} in terms of pfaffian functions, with complexity independent of the lattice involved. We also give such a definition for a modification of the Weierstrass function σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. Our work has immediate applications to Diophantine geometry and we answer a question of Corvaja, Masser and Zannier on additive extensions of elliptic curves. We also point out further applications, also in connection with Pila–Wilkie type counting problems.