Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets

Shun Ding, Yang Wan, Luofei Wang +1

We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firs…