The aim of this paper is to show that every Hausdorff continuous interval-valued function on a completely regular topological space X corresponds to a Dedekind cut in C(X) and conversely.

This paper continues the investigation into Krull-style dimensions in algebraic frames. Let $L$ be an algebraic frame. $dim\left(L\right)$ is the supremum of the lengths $k$ of sequences $p_0<p_1<\cdots <p_k$ of (proper) prime elements of $L$. Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of $L$ in terms of the dimensions of certain boundary quotients of $L$. This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily...