Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. - Alberto Marcone (Ann. Pure Appl. Log., 1991)

The Set of Better Quasi Orderings is Pi21-complete. - Alberto Marcone (Math. Log. Q., 1995)

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. - Mariagnese Giusto; Alberto Marcone (Arch. Math. Log., 1998)

Fine Analysis of the Quasi-Orderings on the Power Set. - Alberto Marcone (Order, 2001)

Reverse mathematics and the equivalence of definitions for well and better quasi-orders. - Peter Cholak; Alberto Marcone; Reed Solomon (J. Symb. Log., 2004)

The complexity of continuous embeddability between dendrites. - Alberto Marcone; Christian Rosendal (J. Symb. Log., 2004)

Coloring linear orders with Rado's partial order. - Riccardo Camerlo; Alberto Marcone (Math. Log. Q., 2007)

Interval Orders and Reverse Mathematics. - Alberto Marcone (Notre Dame J. Formal Log., 2007)

How Incomputable is the Separable Hahn-Banach Theorem? - Guido Gherardi; Alberto Marcone (CCA, 2008)

On Fraïssé's conjecture for linear orders of finite Hausdorff rank. - Alberto Marcone; Antonio Montalbán (Ann. Pure Appl. Log., 2009)

The maximal linear extension theorem in second order arithmetic. - Alberto Marcone; Richard A. Shore (Arch. Math. Log., 2011)

The Veblen functions for computability theorists. - Alberto Marcone; Antonio Montalbán (J. Symb. Log., 2011)

Computing maximal chains. - Alberto Marcone; Antonio Montalbán; Richard A. Shore (Arch. Math. Log., 2012)

The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. - Vasco Brattka; Guido Gherardi; Alberto Marcone (Ann. Pure Appl. Log., 2012)

Linear extensions of partial orders and reverse mathematics. - Emanuele Frittaion; Alberto Marcone (Math. Log. Q., 2012)

Reverse mathematics and initial intervals. - Emanuele Frittaion; Alberto Marcone (Ann. Pure Appl. Log., 2014)

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). - Vasco Brattka; Akitoshi Kawamura; Alberto Marcone; Arno Pauly (Dagstuhl Reports, 2015)

Epimorphisms Between Linear Orders. - Riccardo Camerlo; Raphaël Carroy; Alberto Marcone (Order, 2015)

Reverse mathematics, well-quasi-orders, and Noetherian spaces. - Emanuele Frittaion; Matthew Hendtlass; Alberto Marcone; Paul Shafer; Jeroen Van der Meeren (Arch. Math. Log., 2016)

Erratum to: Epimorphisms Between Linear Orders. - Riccardo Camerlo; Raphaël Carroy; Alberto Marcone (Order, 2016)

Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. - Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder 001 (Ann. Pure Appl. Log., 2017)

Searching for an analogue of ATR in the Weihrauch lattice. - Takayuki Kihara; Alberto Marcone; Arno Pauly (CoRR, 2018)

Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). - Vasco Brattka; Damir D. Dzhafarov; Alberto Marcone; Arno Pauly (Dagstuhl Reports, 2018)

The logic of the reverse mathematics zoo. - Giovanna D'Agostino; Alberto Marcone (Math. Struct. Comput. Sci., 2018)

Projection operators in the Weihrauch lattice. - Guido Gherardi; Alberto Marcone; Arno Pauly (Comput., 2019)

Linear orders: When embeddability and epimorphism agree. - Riccardo Camerlo; Raphaël Carroy; Alberto Marcone (J. Math. Log., 2019)

Polish metric spaces with fixed distance set. - Riccardo Camerlo; Alberto Marcone; Luca Motto Ros (Ann. Pure Appl. Log., 2020)

Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018. - Vasco Brattka; Damir D. Dzhafarov; Alberto Marcone; Arno Pauly (Comput., 2020)

Searching for an analogue of Atr0 in the Weihrauch Lattice. - Takayuki Kihara; Alberto Marcone; Arno Pauly (J. Symb. Log., 2020)

To reorient is easier than to orient: An on-line algorithm for reorientation of graphs. - Marta Fiori-Carones; Alberto Marcone (Comput., 2021)

The Open and Clopen Ramsey theorems in the Weihrauch Lattice. - Alberto Marcone; Manlio Valenti (J. Symb. Log., 2021)

Effective aspects of Hausdorff and Fourier dimension. - Alberto Marcone; Manlio Valenti (Comput., 2022)

Uniquely orderable interval graphs. - Marta Fiori-Carones; Alberto Marcone (Discret. Math., 2022)

(Extra)ordinary Equivalences with the ascending/descending sequence Principle. - Marta Fiori-Carones; Alberto Marcone; Paul Shafer; Giovanni Soldà (J. Symb. Log., 2024)

Piecewise convex embeddability on linear orders. - Martina Iannella; Alberto Marcone; Luca Motto Ros; Vadim Weinstein (Ann. Pure Appl. Log., 2025)

THE WEIHRAUCH LATTICE AT THE LEVEL OF $ boldsymbol { Pi }^1_1{-} mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM. - Vittorio Cipriani; Alberto Marcone; Manlio Valenti (J. Symb. Log., 2025)