Sets completely separated by functions in Bishop Set Theory

arXiv2208.07826MaRDI QIDQ6408030FDOQ6408030

Publication date: 16 August 2022

Abstract: Within Bishop Set Theory, a reconstruction of Bishop's theory of sets, we study the so-called completely separated sets, that is sets equipped with a positive notion of an inequality, induced by a given set of real-valued functions. We introduce the notion of a global family of completely separated sets over an index-completely separated set, and we describe its Sigma- and Pi-set. The free completely separated set on a given set is also presented. Purely set-theoretic versions of the classical Stone-v{C}ech theorem and the Tychonoff embedding theorem for completely regular spaces are given, replacing topological spaces with function spaces and completely regular spaces with completely separated sets.

This page was built for publication: Sets completely separated by functions in Bishop Set Theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6408030)