On Analytic Functions in an Ordered Field with an Infinite Rank Valuation.

Let be the scalar field of the first orthomodular (or Form Hilbert) space, described by H. Keller in . It has a non-Archimedean order, an infinite rank valuation compatible with the order as well as an explicitly defined ultrametric, all of which induce the same topology on the valued field. We study analytic functions defined on valued field , and we will establish an invertibility local Theorem for these functions as an application of Banach fixed point Theorem on a particular complete metric space. [ABSTRACT FROM AUTHOR]