Follow
Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets https://arxiv.org/abs/2508.11635 #mathGN
Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets https://arxiv.org/abs/2508.11635 #mathGN