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–Cech theorem and the Tychonoff embedding the- orem for completely regular spaces are given, replacing topological spaces with function spaces and completely regular spaces with completely separated sets.
Sets Completely Separated by Functions in Bishop Set Theory
Petrakis, Iosif
2024-01-01
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–Cech theorem and the Tychonoff embedding the- orem for completely regular spaces are given, replacing topological spaces with function spaces and completely regular spaces with completely separated sets.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
