
6Sets Completely Separated by Functions in Bishop Set TheoryNotre Dame Journal of Formal Logic 65 (2): 151180. 2024.Within Bishop Set Theory, a reconstruction of Bishop’s theory of sets, we study the socalled completely separated sets, that is, sets equipped with a positive notion of an inequality, induced by a given set of realvalued functions. We introduce the notion of a global family of completely separated sets over an indexcompletely separated set, and we describe its Sigma and Piset. The free completely separated set on a given set is also presented. Purely settheoretic versions of the classical …Read more

Ludwig Maximilians Universität, MünchenResearcher
Munich, Bavaria, Germany
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Mathematics 