The ppp-adic Schanuel conjecture
Suppose z1,…,zn∈Dp⊂Cpz_1,\ldots,z_n\in\mathbb{D}_p\subset\mathbb{C}_pz1,…,zn∈Dp⊂Cp are Q\mathbb{Q}Q-linearly independent, where Dp\mathbb{D}_pDp is the domain of the ppp-adic exponential function. Define…