2008 | ||
---|---|---|
6 | EE | Guido Gherardi, Alberto Marcone: How Incomputable is the Separable Hahn-Banach Theorem? Electr. Notes Theor. Comput. Sci. 221: 85-102 (2008) |
2007 | ||
5 | EE | Riccardo Camerlo, Alberto Marcone: Coloring linear orders with Rado's partial order. Math. Log. Q. 53(3): 301-305 (2007) |
2001 | ||
4 | EE | Alberto Marcone: Fine Analysis of the Quasi-Orderings on the Power Set. Order 18(4): 339-347 (2001) |
1998 | ||
3 | EE | 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) |
1 | Riccardo Camerlo | [5] |
2 | Guido Gherardi | [6] |
3 | Mariagnese Giusto | [3] |