Radius estimates for Alexandrov space with boundary.

In this note, we study the radius of positively curved or non-negatively curved Alexandrov space with strictly convex boundary, with convexity measured by the Base-Angle defined by Alexander and Bishop. We also estimate the volume of the boundary of non-negatively curved spaces as well as the rigidity case, which can be thought as a non-negatively curved version of a recent result of Grove-Petersen.