4 ms·

What application? What problem is solved?

• chalst 5y ago
  By application, I meant the theory can find application in another problem domain. Vickers doesn't discuss it, but this idea of modelling properties as open sets was used in Edalat's implementation of exact real arithmetic.