TY  - RPRT
TI  - Sets completely separated by functions in Bishop Set Theory
AU  - Iosif Petrakis
PY  - 2022
UR  - https://arxiv.org/abs/2208.07826
ID  - 2208.07826
ER  -