Families of Sets in Bishop Set Theory
Logic
2021-09-10 v1
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.
Cite
@article{arxiv.2109.04183,
title = {Families of Sets in Bishop Set Theory},
author = {Iosif Petrakis},
journal= {arXiv preprint arXiv:2109.04183},
year = {2021}
}
Comments
216 pages