Families of Sets in Bishop Set Theory
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:S2GKHQPQrecord.jsonopen to challenge →
classification
math.LO
keywords
theorybishopsetsfamiliesdevelopinformalreconstructionset-indexed
read the original abstract
We develop the theory of set-indexed families of sets and subsets within the informal Bishop Set Theory BST, a reconstruction of Bishop's theory of sets.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.