dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Alberto Marcone Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone, Richard A. Shore: The maximal linear extension theorem in second order arithmetic. Arch. Math. Log. 50(5-6): 543-564 (2011)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco Brattka, Guido Gherardi, Alberto Marcone: The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma CoRR abs/1101.0792: (2011)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone, Antonio Montalbán: The Veblen functions for computability theorists. J. Symb. Log. 76(2): 575-602 (2011)
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Gherardi, Alberto Marcone: How Incomputable is the Separable Hahn-Banach Theorem? Electr. Notes Theor. Comput. Sci. 221: 85-102 (2008)
2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Camerlo, Alberto Marcone: Coloring linear orders with Rado's partial order. Math. Log. Q. 53(3): 301-305 (2007)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone: Interval Orders and Reverse Mathematics. Notre Dame Journal of Formal Logic 48(3): 425-448 (2007)
2004
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone, Christian Rosendal: The complexity of continuous embeddability between dendrites. J. Symb. Log. 69(3): 663-673 (2004)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone: Fine Analysis of the Quasi-Orderings on the Power Set. Order 18(4): 339-347 (2001)
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariagnese Giusto, Alberto Marcone: Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic. Arch. Math. Log. 37(5-6): 343-362 (1998)
1995
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone: The Set of Better Quasi Orderings is Pi21-complete. Math. Log. Q. 41: 373-383 (1995)
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Marcone: Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic. Ann. Pure Appl. Logic 54(3): 265-291 (1991)

Coauthor Index

1Vasco Brattka [12] [14]
2Riccardo Camerlo [8]
3Peter Cholak [5]
4Guido Gherardi [9] [12] [14]
5Mariagnese Giusto [3]
6Antonio Montalbán [10] [11]
7Christian Rosendal [6]
8Richard A. Shore [13]
9Reed Solomon [5]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page