Families of Sets in Bishop Set Theory
arXiv:2109.04183
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.
216 pages
arXiv:2109.04183
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.
216 pages