Pointfree pseudocompactness revisited

Abstract

We give several internal and external characterizations of pseudocompactness in frames which extend (and transcend) analogous characterizations in topological spaces. In the case of internal characterizations we do not make reference (explicitly or implicitly) to the reals