Manlio Valenti

17 papers C 3Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
A jump operator on the Weihrauch degrees.
Comput.
Uri Andrews, Steffen Lempp, Alberto Marcone, Joseph S. Miller, Manlio Valenti
2025 J jnl
Categorifying computable reducibilities.
Log. Methods Comput. Sci.
Davide Trotta, Manlio Valenti, Valeria de Paiva
2025 C conf
Computably Discrete Represented Spaces.
CiE
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 J jnl
Computably discrete represented spaces.
CoRR
Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 C conf
Represented Spaces of Represented Spaces.
CiE
Johanna Franklin, Eike Neumann, Arno Pauly, Cécilia Pradic, Manlio Valenti
2025 J jnl
THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM.
J. Symb. Log.
Vittorio Cipriani, Alberto Marcone, Manlio Valenti
2024 C conf
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders.
CiE
Jun Le Goh, Arno Pauly, Manlio Valenti
2024 J jnl
The weakness of finding descending sequences in ill-founded linear orders.
CoRR
Jun Le Goh, Arno Pauly, Manlio Valenti
2023 J jnl
Algebraic properties of the first-order part of a problem.
Ann. Pure Appl. Log.
Giovanni Soldà, Manlio Valenti
2023 J jnl
Minimal covers in the Weihrauch degrees.
CoRR
Steffen Lempp, Joseph S. Miller, Arno Pauly, Mariya Ivanova Soskova, Manlio Valenti
2022 J jnl
A journey through computability, topology and analysis.
Bull. Symb. Log.
Manlio Valenti
2022 J jnl
Algebraic properties of the first-order part of a problem.
CoRR
Giovanni Soldà, Manlio Valenti
2022 J jnl
Effective aspects of Hausdorff and Fourier dimension.
Comput.
Alberto Marcone, Manlio Valenti
2021 J jnl
Finding descending sequences through ill-Founded linear Orders.
J. Symb. Log.
Jun Le Goh, Arno Pauly, Manlio Valenti
2021 J jnl
The Open and Clopen Ramsey theorems in the Weihrauch Lattice.
J. Symb. Log.
Alberto Marcone, Manlio Valenti
2020 J jnl
Finding descending sequences through ill-founded linear orders.
CoRR
Jun Le Goh, Arno Pauly, Manlio Valenti
2020 J jnl
The open and clopen Ramsey theorems in the Weihrauch lattice.
CoRR
Alberto Marcone, Manlio Valenti