Kernels of seminorms in constructive analysis

AbstractThe kernel of a seminorm on a normed space is examined constructively—that is, using intuitionistic logic. In particular, conditions are given that ensure that (i) the kernel is located and (ii) the kernel is nontrivial