1 problem

0 votes0 replies0 views
The finite choice non-derivability conjecture for discontinuities of regulated functions
Finite Choice non-derivability conjecture. The principle $\textup{\textsf{Finite Choice}}$ cannot be obtained from the second item.
Conjectureopenchoice-principles regulated-functions reverse-mathematicsarXiv posted 2 days ago

The finite choice non-derivability conjecture for discontinuities of regulated functions