TY  - RPRT
TI  - Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets
AU  - Shun Ding
AU  - Yang Wan
AU  - Luofei Wang
AU  - Siqi Xiao
PY  - 2025
UR  - https://arxiv.org/abs/2508.11635
ID  - 2508.11635
ER  -