Switch to: References

Add citations

You must login to add citations.
  1. Algebraic properties of the first-order part of a problem.Giovanni Soldà & Manlio Valenti - 2023 - Annals of Pure and Applied Logic 174 (7):103270.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^11{-}\mathsf{CA}0$ : THE CANTOR–BENDIXSON THEOREM.Vittorio Cipriani, Alberto Marcone & Manlio Valenti - forthcoming - Journal of Symbolic Logic:1-39.
    This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor–Bendixson theorem, and various problems arising from them. In the framework of reverse mathematics, these theorems are equivalent, respectively, to $\mathsf {ATR}_0$ and $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$, the two strongest subsystems of second order arithmetic among the so-called big five. As far as we know, this is (...)
    Download  
     
    Export citation  
     
    Bookmark