 | 2012 |
| 14 |  | Vasco Brattka,
Guido Gherardi,
Alberto Marcone:
The Bolzano-Weierstrass Theorem is the jump of Weak Kőnig's Lemma.
Ann. Pure Appl. Logic 163(6): 623-655 (2012) |
| 2011 |
| 13 |  | Alberto Marcone,
Richard A. Shore:
The maximal linear extension theorem in second order arithmetic.
Arch. Math. Log. 50(5-6): 543-564 (2011) |
| 12 |  | Vasco Brattka,
Guido Gherardi,
Alberto Marcone:
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
CoRR abs/1101.0792: (2011) |
| 11 |  | Alberto Marcone,
Antonio Montalbán:
The Veblen functions for computability theorists.
J. Symb. Log. 76(2): 575-602 (2011) |
| 2009 |
| 10 |  | Alberto Marcone,
Antonio Montalbán:
On Fraïssé's conjecture for linear orders of finite Hausdorff rank.
Ann. Pure Appl. Logic 160(3): 355-367 (2009) |
| 2008 |
| 9 |  | Guido Gherardi,
Alberto Marcone:
How Incomputable is the Separable Hahn-Banach Theorem?
Electr. Notes Theor. Comput. Sci. 221: 85-102 (2008) |
| 2007 |
| 8 |  | Riccardo Camerlo,
Alberto Marcone:
Coloring linear orders with Rado's partial order.
Math. Log. Q. 53(3): 301-305 (2007) |
| 7 |  | Alberto Marcone:
Interval Orders and Reverse Mathematics.
Notre Dame Journal of Formal Logic 48(3): 425-448 (2007) |
| 2004 |
| 6 |  | Alberto Marcone,
Christian Rosendal:
The complexity of continuous embeddability between dendrites.
J. Symb. Log. 69(3): 663-673 (2004) |
| 5 |  | Peter Cholak,
Alberto Marcone,
Reed Solomon:
Reverse mathematics and the equivalence of definitions for well and better quasi-orders.
J. Symb. Log. 69(3): 683-712 (2004) |
| 2001 |
| 4 |  | Alberto Marcone:
Fine Analysis of the Quasi-Orderings on the Power Set.
Order 18(4): 339-347 (2001) |
| 1998 |
| 3 |  | Mariagnese Giusto,
Alberto Marcone:
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic.
Arch. Math. Log. 37(5-6): 343-362 (1998) |
| 1995 |
| 2 |  | Alberto Marcone:
The Set of Better Quasi Orderings is Pi21-complete.
Math. Log. Q. 41: 373-383 (1995) |
| 1991 |
| 1 |  | Alberto Marcone:
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.
Ann. Pure Appl. Logic 54(3): 265-291 (1991) |