Let 𝕂 be a complete and algebraically closed non-Archimedean valued field. Following ideas of Marc Krasner and Philippe Robba, we define K-meromorphic functions from 𝕂 to 𝕂. We show that the Nevanlinna theory for functions of a single complex variable may be extended to those functions (and consequently to meromorphic functions).
We introduce the extended bicomplex plane 𝕋̅, its geometric model: the bicomplex Riemann sphere, and the bicomplex chordal metric that enables us to talk about convergence of sequences of bicomplex meromorphic functions. Hence the concept of normality of a family of bicomplex meromorphic functions on bicomplex domains emerges. Besides obtaining a normality criterion for such families, the bicomplex analog of the Montel theorem for meromorphic functions and the fundamental normality tests for families...