Constructive strong regularity and the extension property of a compactification

Giovanni Curi

In contexts in which the principle of dependent choice may not be available, as toposes or Constructive Set Theory, standard locale theoretic results related to complete regularity…