Direct spectra of Bishop spaces and their limits

Iosif Petrakis

We apply fundamental notions of Bishop set theory (BST), an informal theory that complements Bishop's theory of sets, to the theory of Bishop spaces, a function-theoretic approach…