Polynomial approximation of Berkovich spaces and definable types

Jérôme Poineau

We investigate affine Berkovich spaces over maximally complete fields and prove that they may be approximated by simpler spaces when the only functions we need to evaluate are poly…