  We extend the analogy between the extended Robba rings of p-adic Hodge theory
and the one-dimensional affinoid algebras of rigid analytic geometry, proving
some fundamental properties that are well known in the latter case. In
particular, we show that these rings are regular and excellent. The extended
Robba rings are of interest as they are used to build the Fargues-Fontaine
curve.
