Countability properties of some Berkovich spaces

Abstract

We prove that any compact Berkovich space over the field of Laurent series over an arbitrary field is angelic. In particular, is it sequentially compact.Comment: 11 page