Dice Question Streamline Icon: https://streamlinehq.com

Wqo for continuous reducibility on real functions

Determine whether continuous reducibility is a well-quasi-order on the class of continuous real functions (functions from the real line to the real line).

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper contrasts settings where continuous reducibility is known to be bqo (zero-dimensional domains) with settings where related quasi-orders (like embeddability on [0,1]2) are analytic complete. The status for continuous real functions remains unsettled; resolving the wqo nature would clarify the boundary between tractable and intractable domains for continuous reducibility.

References

Question: Is continuous reducibility wqo on continuous real functions?

The same question is open for continuous functions on any uncountable Polish space that does not contain [0,1]2.

A well-quasi-order for continuous functions (2410.13150 - Carroy et al., 17 Oct 2024) in Section 7.3 (DirectionPolish)