Alberto Marcone - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2025

Piecewise convex embeddability on linear ordersMartina Iannella, Alberto Marcone, Luca Motto Ros, Vadim Weinstein. APAL, 176(8):103581, 2025. [doi]

2024

(Extra)ordinary Equivalences with the ascending/descending sequence PrincipleMarta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà. JSYML, 89(1):262-307, 2024. [doi]

2022

Uniquely orderable interval graphsMarta Fiori-Carones, Alberto Marcone. DM, 345(9):112935, 2022. [doi]

Effective aspects of Hausdorff and Fourier dimensionAlberto Marcone, Manlio Valenti. computability, 11(3-4):299-333, 2022. [doi]

2021

To reorient is easier than to orient: An on-line algorithm for reorientation of graphsMarta Fiori-Carones, Alberto Marcone. computability, 10(3):215-233, 2021. [doi]

The Open and Clopen Ramsey theorems in the Weihrauch LatticeAlberto Marcone, Manlio Valenti. JSYML, 86(1):316-351, 2021. [doi]

2020

Dagstuhl Seminar on Measuring the Complexity of Computational Content 2018Vasco Brattka, Damir D. Dzhafarov, Alberto Marcone, Arno Pauly. computability, 9(3-4):167-168, 2020. [doi]

Polish metric spaces with fixed distance setRiccardo Camerlo, Alberto Marcone, Luca Motto Ros. APAL, 171(10):102832, 2020. [doi]

Searching for an analogue of Atr0 in the Weihrauch LatticeTakayuki Kihara, Alberto Marcone, Arno Pauly. JSYML, 85(3):1006-1043, 2020. [doi]

2019

Linear orders: When embeddability and epimorphism agreeRiccardo Camerlo, Raphaël Carroy, Alberto Marcone. jml, 19(1):1950003, 2019. [doi]

Projection operators in the Weihrauch latticeGuido Gherardi, Alberto Marcone, Arno Pauly. computability, 8(3-4):281-304, 2019. [doi]

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, 8(9):1-28, 2018. [doi]

The logic of the reverse mathematics zooGiovanna D'Agostino, Alberto Marcone. mscs, 28(3):412-428, 2018. [doi]

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. APAL, 168(8):1605-1608, 2017. [doi]

2016

Erratum to: Epimorphisms Between Linear OrdersRiccardo Camerlo, Raphaël Carroy, Alberto Marcone. order, 33(1):187, 2016. [doi]

Reverse mathematics, well-quasi-orders, and Noetherian spacesEmanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer, Jeroen Van der Meeren. AML, 55(3-4):431-459, 2016. [doi]

2015

Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly. dagstuhl-reports, 5(9):77-104, 2015. [doi]

Epimorphisms Between Linear OrdersRiccardo Camerlo, Raphaël Carroy, Alberto Marcone. order, 32(3):387-400, 2015. [doi]

2014

Reverse mathematics and initial intervalsEmanuele Frittaion, Alberto Marcone. APAL, 165(3):858-879, 2014. [doi]

2012

The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's LemmaVasco Brattka, Guido Gherardi, Alberto Marcone. APAL, 163(6):623-655, 2012. [doi]

Linear extensions of partial orders and reverse mathematicsEmanuele Frittaion, Alberto Marcone. mlq, 58(6):417-423, 2012. [doi]

Computing maximal chainsAlberto Marcone, Antonio Montalbán, Richard A. Shore. AML, 51(5-6):651-660, 2012. [doi]

2011

The Veblen functions for computability theoristsAlberto Marcone, Antonio Montalbán. JSYML, 76(2):575-602, 2011. [doi]

The maximal linear extension theorem in second order arithmeticAlberto Marcone, Richard A. Shore. AML, 50(5-6):543-564, 2011. [doi]

2009

On FraÃ¯ssÃ© s conjecture for linear orders of finite Hausdorff rankAlberto Marcone, Antonio MontalbÃ¡n. APAL, 160(3):355-367, 2009. [doi]

2008

How Incomputable is the Separable Hahn-Banach Theorem?Guido Gherardi, Alberto Marcone. ENTCS, 221:85-102, 2008. [doi]

2007

Coloring linear orders with Rado s partial orderRiccardo Camerlo, Alberto Marcone. mlq, 53(3):301-305, 2007. [doi]

Interval Orders and Reverse MathematicsAlberto Marcone. ndjfl, 48(3):425-448, 2007. [doi]

2004

Reverse mathematics and the equivalence of definitions for well and better quasi-ordersPeter Cholak, Alberto Marcone, Reed Solomon. JSYML, 69(3):683-712, 2004. [doi]

The complexity of continuous embeddability between dendritesAlberto Marcone, Christian Rosendal. JSYML, 69(3):663-673, 2004. [doi]

2001

Fine Analysis of the Quasi-Orderings on the Power SetAlberto Marcone. order, 18(4):339-347, 2001. [doi]

1998

Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmeticMariagnese Giusto, Alberto Marcone. AML, 37(5-6):343-362, 1998. [doi]

1995

The Set of Better Quasi Orderings is Pi::2:::::1:::-completeAlberto Marcone. mlq, 41:373-383, 1995.

1991

Borel Quasi-Orderings in Subsystems of Second-Order ArithmeticAlberto Marcone. APAL, 54(3):265-291, 1991.

Sign in or sign up to see more results.

runs on WebDSL