Further details on the Krull dimension
The upper semicontinuous dimension function from the internal perspective