Alberto Marcone

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 18

Top Topics

Intuitionistic Logic

Combinatorial Problems

Set Of Test Images

Top Venues

Ann. Pure Appl. Log.

Publications

Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. J. Symb. Log. 89 (1) (2024)
Alberto Marcone, Manlio Valenti
Effective aspects of Hausdorff and Fourier dimension. Comput. 11 (3-4) (2022)
Marta Fiori-Carones, Alberto Marcone
Uniquely orderable interval graphs. Discret. Math. 345 (9) (2022)
Alberto Marcone, Manlio Valenti
The Open and Clopen Ramsey theorems in the Weihrauch Lattice. J. Symb. Log. 86 (1) (2021)
Marta Fiori-Carones, Alberto Marcone
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs. Comput. 10 (3) (2021)
Alberto Marcone, Manlio Valenti
The open and clopen Ramsey theorems in the Weihrauch lattice. CoRR (2020)
Riccardo Camerlo, Alberto Marcone, Luca Motto Ros
Polish metric spaces with fixed distance set. Ann. Pure Appl. Log. 171 (10) (2020)
Takayuki Kihara, Alberto Marcone, Arno Pauly
Searching for an analogue of Atr0 in the Weihrauch Lattice. J. Symb. Log. 85 (3) (2020)
Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018. Comput. 9 (3-4) (2020)
Guido Gherardi, Alberto Marcone, Arno Pauly
Projection operators in the Weihrauch lattice. Comput. 8 (3-4) (2019)
Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
Linear orders: When embeddability and epimorphism agree. J. Math. Log. 19 (1) (2019)
Marta Fiori-Carones, Alberto Marcone
To reorient is easier than to orient: an on-line algorithm for reorientation of graphs. CoRR (2019)
Giovanna D'Agostino, Alberto Marcone
The logic of the reverse mathematics zoo. Math. Struct. Comput. Sci. 28 (3) (2018)
Takayuki Kihara, Alberto Marcone, Arno Pauly
Searching for an analogue of ATR in the Weihrauch lattice. CoRR (2018)
Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). Dagstuhl Reports 8 (9) (2018)
Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]. Ann. Pure Appl. Log. 168 (8) (2017)
Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
Reverse mathematics, well-quasi-orders, and Noetherian spaces. Arch. Math. Log. 55 (3-4) (2016)
Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
Erratum to: Epimorphisms Between Linear Orders. Order 33 (1) (2016)
Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
Epimorphisms Between Linear Orders. Order 32 (3) (2015)
Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). Dagstuhl Reports 5 (9) (2015)
Emanuele Frittaion, Alberto Marcone
Reverse mathematics and initial intervals. Ann. Pure Appl. Log. 165 (3) (2014)
Alberto Marcone, Antonio Montalbán, Richard A. Shore
Computing maximal chains. Arch. Math. Log. 51 (5-6) (2012)
Vasco Brattka, Guido Gherardi, Alberto Marcone
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. Ann. Pure Appl. Log. 163 (6) (2012)
Emanuele Frittaion, Alberto Marcone
Linear extensions of partial orders and reverse mathematics. Math. Log. Q. 58 (6) (2012)
Alberto Marcone, Antonio Montalbán
The Veblen functions for computability theorists. J. Symb. Log. 76 (2) (2011)
Vasco Brattka, Guido Gherardi, Alberto Marcone
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma CoRR (2011)
Alberto Marcone, Richard A. Shore
The maximal linear extension theorem in second order arithmetic. Arch. Math. Log. 50 (5-6) (2011)
Alberto Marcone, Antonio Montalbán
On Fraïssé's conjecture for linear orders of finite Hausdorff rank. Ann. Pure Appl. Log. 160 (3) (2009)
Guido Gherardi, Alberto Marcone
How Incomputable is the Separable Hahn-Banach Theorem? Electron. Notes Theor. Comput. Sci. 221 (2008)
Riccardo Camerlo, Alberto Marcone
Coloring linear orders with Rado's partial order. Math. Log. Q. 53 (3) (2007)
Alberto Marcone
Interval Orders and Reverse Mathematics. Notre Dame J. Formal Log. 48 (3) (2007)
Peter Cholak, Alberto Marcone, Reed Solomon
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. 69 (3) (2004)
Alberto Marcone, Christian Rosendal
The complexity of continuous embeddability between dendrites. J. Symb. Log. 69 (3) (2004)
Alberto Marcone
Fine Analysis of the Quasi-Orderings on the Power Set. Order 18 (4) (2001)
Mariagnese Giusto, Alberto Marcone
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. Arch. Math. Log. 37 (5-6) (1998)
Alberto Marcone
-complete. Math. Log. Q. 41 (1995)
Alberto Marcone
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. 54 (3) (1991)