3 ABSTRACT. We extend a p-adic spectral theorem of M. M. Vishik to a certain class of p-adic Banach algebras. This class includes inductive limits of finite-dimensional p-Banach algebras of the form B(X), where X is a p-adic Banach space of the form X ≃ Ω p (J), J being a finite nonempty set. In particular, we present a p-adic spectral theorem for p-adic UHF algebras and p-adic TUHF algebras (T...

Generalizing and synthesizing earlier work on the model theory of valued difference fields and on the model theory of valued fields with analytic structure, we prove Ax-Kochen-Eršov style relative completeness and relative quantifier elimination theorems for a theory of valuation rings with analytic and difference structure. Specializing our results to the case of W [F p ], the ring of Witt vec...