Alberto Marcone

41 papers C 1Journal 40

Year	Rank	Type	Title / 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`	Piecewise convex embeddability on linear orders. Ann. Pure Appl. Log. Martina Iannella, Alberto Marcone, Luca Motto Ros, Vadim Weinstein
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
2025	J	`jnl`	Weihrauch Complexity: Structuring the Realm of Non-Computability (Dagstuhl Seminar 25131). Dagstuhl Reports Vasco Brattka, Alberto Marcone, Arno Pauly, Linda Westrick, Kenneth Gill
2024	J	`jnl`	(Extra)ordinary Equivalences with the ascending/descending sequence Principle. J. Symb. Log. Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
2022	J	`jnl`	Effective aspects of Hausdorff and Fourier dimension. Comput. Alberto Marcone, Manlio Valenti
2022	J	`jnl`	Uniquely orderable interval graphs. Discret. Math. Marta Fiori-Carones, Alberto Marcone
2021	J	`jnl`	The Open and Clopen Ramsey theorems in the Weihrauch Lattice. J. Symb. Log. Alberto Marcone, Manlio Valenti
2021	J	`jnl`	To reorient is easier than to orient: An on-line algorithm for reorientation of graphs. Comput. Marta Fiori-Carones, Alberto Marcone
2020	J	`jnl`	Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018. Comput. Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
2020	J	`jnl`	Polish metric spaces with fixed distance set. Ann. Pure Appl. Log. Riccardo Camerlo, Alberto Marcone, Luca Motto Ros
2020	J	`jnl`	Searching for an analogue of Atr0 in the Weihrauch Lattice. J. Symb. Log. Takayuki Kihara, Alberto Marcone, Arno Pauly
2020	J	`jnl`	The open and clopen Ramsey theorems in the Weihrauch lattice. CoRR Alberto Marcone, Manlio Valenti
2019	J	`jnl`	Linear orders: When embeddability and epimorphism agree. J. Math. Log. Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
2019	J	`jnl`	Projection operators in the Weihrauch lattice. Comput. Guido Gherardi, Alberto Marcone, Arno Pauly
2019	J	`jnl`	To reorient is easier than to orient: an on-line algorithm for reorientation of graphs. CoRR Marta Fiori-Carones, Alberto Marcone
2018	J	`jnl`	Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (Dagstuhl Seminar 18361). Dagstuhl Reports Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly
2018	J	`jnl`	Searching for an analogue of ATR in the Weihrauch lattice. CoRR Takayuki Kihara, Alberto Marcone, Arno Pauly
2018	J	`jnl`	The logic of the reverse mathematics zoo. Math. Struct. Comput. Sci. Giovanna D'Agostino, Alberto Marcone
2017	J	`jnl`	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. Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder
2016	J	`jnl`	Erratum to: Epimorphisms Between Linear Orders. Order Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
2016	J	`jnl`	Reverse mathematics, well-quasi-orders, and Noetherian spaces. Arch. Math. Log. Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren
2015	J	`jnl`	Epimorphisms Between Linear Orders. Order Riccardo Camerlo, Raphaël Carroy, Alberto Marcone
2015	J	`jnl`	Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). Dagstuhl Reports Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly
2014	J	`jnl`	Reverse mathematics and initial intervals. Ann. Pure Appl. Log. Emanuele Frittaion, Alberto Marcone
2012	J	`jnl`	Computing maximal chains. Arch. Math. Log. Alberto Marcone, Antonio Montalbán, Richard A. Shore
2012	J	`jnl`	Linear extensions of partial orders and reverse mathematics. Math. Log. Q. Emanuele Frittaion, Alberto Marcone
2012	J	`jnl`	The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma. Ann. Pure Appl. Log. Vasco Brattka, Guido Gherardi, Alberto Marcone
2011	J	`jnl`	The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma CoRR Vasco Brattka, Guido Gherardi, Alberto Marcone
2011	J	`jnl`	The Veblen functions for computability theorists. J. Symb. Log. Alberto Marcone, Antonio Montalbán
2011	J	`jnl`	The maximal linear extension theorem in second order arithmetic. Arch. Math. Log. Alberto Marcone, Richard A. Shore
2009	J	`jnl`	On Fraïssé's conjecture for linear orders of finite Hausdorff rank. Ann. Pure Appl. Log. Alberto Marcone, Antonio Montalbán
2008	C	`conf`	How Incomputable is the Separable Hahn-Banach Theorem? CCA Guido Gherardi, Alberto Marcone
2007	J	`jnl`	Coloring linear orders with Rado's partial order. Math. Log. Q. Riccardo Camerlo, Alberto Marcone
2007	J	`jnl`	Interval Orders and Reverse Mathematics. Notre Dame J. Formal Log. Alberto Marcone
2004	J	`jnl`	Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Log. Peter Cholak, Alberto Marcone, Reed Solomon
2004	J	`jnl`	The complexity of continuous embeddability between dendrites. J. Symb. Log. Alberto Marcone, Christian Rosendal
2001	J	`jnl`	Fine Analysis of the Quasi-Orderings on the Power Set. Order Alberto Marcone
1998	J	`jnl`	Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. Arch. Math. Log. Mariagnese Giusto, Alberto Marcone
1995	J	`jnl`	The Set of Better Quasi Orderings is Pi Math. Log. Q. Alberto Marcone
1991	J	`jnl`	Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Log. Alberto Marcone