Alberto Marcone

According to our database, Alberto Marcone authored at least 34 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

(Extra)ordinary Equivalences with the ascending/descending sequence Principle.

Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà

J. Symb. Log., 2024

2022

Uniquely orderable interval graphs.

Marta Fiori-Carones, Alberto Marcone

Discret. Math., 2022

Effective aspects of Hausdorff and Fourier dimension.

Alberto Marcone, Manlio Valenti

Comput., 2022

2021

The Open and Clopen Ramsey theorems in the Weihrauch Lattice.

Alberto Marcone, Manlio Valenti

J. Symb. Log., 2021

To reorient is easier than to orient: An on-line algorithm for reorientation of graphs.

Marta Fiori-Carones, Alberto Marcone

Comput., 2021

2020

Searching for an analogue of Atr0 in the Weihrauch Lattice.

Takayuki Kihara, Alberto Marcone, Arno Pauly

J. Symb. Log., 2020

Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018.

Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly

Comput., 2020

Polish metric spaces with fixed distance set.

Riccardo Camerlo, Alberto Marcone, Luca Motto Ros

Ann. Pure Appl. Log., 2020

2019

Linear orders: When embeddability and epimorphism agree.

Riccardo Camerlo, Raphaël Carroy, Alberto Marcone

J. Math. Log., 2019

Projection operators in the Weihrauch lattice.

Guido Gherardi, Alberto Marcone, Arno Pauly

Comput., 2019

2018

The logic of the reverse mathematics zoo.

Giovanna D'Agostino, Alberto Marcone

Math. Struct. Comput. Sci., 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

Searching for an analogue of ATR in the Weihrauch lattice.

Takayuki Kihara, Alberto Marcone, Arno Pauly

CoRR, 2018

2017

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

Ann. Pure Appl. Log., 2017

2016

Erratum to: Epimorphisms Between Linear Orders.

Riccardo Camerlo, Raphaël Carroy, Alberto Marcone

Order, 2016

Reverse mathematics, well-quasi-orders, and Noetherian spaces.

Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren

Arch. Math. Log., 2016

2015

Epimorphisms Between Linear Orders.

Riccardo Camerlo, Raphaël Carroy, Alberto Marcone

Order, 2015

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392).

Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly

Dagstuhl Reports, 2015

2014

Reverse mathematics and initial intervals.

Emanuele Frittaion, Alberto Marcone

Ann. Pure Appl. Log., 2014

2012

Linear extensions of partial orders and reverse mathematics.

Emanuele Frittaion, Alberto Marcone

Math. Log. Q., 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

Computing maximal chains.

Alberto Marcone, Antonio Montalbán, Richard A. Shore

Arch. Math. Log., 2012

2011

The Veblen functions for computability theorists.

Alberto Marcone, Antonio Montalbán

J. Symb. Log., 2011

The maximal linear extension theorem in second order arithmetic.

Alberto Marcone, Richard A. Shore

Arch. Math. Log., 2011

2009

On Fraïssé's conjecture for linear orders of finite Hausdorff rank.

Alberto Marcone, Antonio Montalbán

Ann. Pure Appl. Log., 2009

2008

How Incomputable is the Separable Hahn-Banach Theorem?

Guido Gherardi, Alberto Marcone

Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008

2007

Interval Orders and Reverse Mathematics.

Alberto Marcone

Notre Dame J. Formal Log., 2007

Coloring linear orders with Rado's partial order.

Riccardo Camerlo, Alberto Marcone

Math. Log. Q., 2007

2004

The complexity of continuous embeddability between dendrites.

Alberto Marcone, Christian Rosendal

J. Symb. Log., 2004

Reverse mathematics and the equivalence of definitions for well and better quasi-orders.

Peter Cholak, Alberto Marcone, Reed Solomon

J. Symb. Log., 2004

2001

Fine Analysis of the Quasi-Orderings on the Power Set.

Alberto Marcone

Order, 2001

1998

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.

Mariagnese Giusto, Alberto Marcone

Arch. Math. Log., 1998

1995

The Set of Better Quasi Orderings is Pi₂¹-complete.

Alberto Marcone

Math. Log. Q., 1995

1991

Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.

Alberto Marcone

Ann. Pure Appl. Log., 1991