Bishop 集合论中的集合族
逻辑
2021-09-10 v1
摘要
我们在非正式的 Bishop 集合论（BST，Bishop 集合论的一种重构）内发展了以集合为指标的集合族与子集族理论。
关键词
引用
@article{arxiv.2109.04183,
title = {Families of Sets in Bishop Set Theory},
author = {Iosif Petrakis},
journal= {arXiv preprint arXiv:2109.04183},
year = {2021}
}
备注
216 pages