Concepedia

Alberto Marcone

AM

14

Publications

384

Citations

11

H-Index

1994

Active since

Affiliations

University of Udine(Current)

Collegio Carlo Alberto

Polytechnic University of Turin

University of Turin

Pennsylvania State University

Alberto Marcone is an author at University of Udine specializing in engineering, functional analysis, and discrete mathematics.

Top concepts

EngineeringFunctional AnalysisDiscrete MathematicsFormal MethodsQuantum ScienceComputer ScienceQuantum Field TheoryComputational ComplexityInformationProof Complexity

Publications per year

1994–2020

14

Publications

14

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Vasco Brattka, Guido Gherardi, Alberto Marcone · Annals of Pure and Applied Logic · 2011 · 96 citations · Full text

Bolzano–weierstrass Theorem

How Incomputable Is the Separable Hahn-Banach Theorem?

Guido Gherardi, Alberto Marcone · Notre Dame Journal of Formal Logic · 2009 · 63 citations · Full text

Circuit Complexity, Hahn-banach Extension Theorem, Computational Complexity Theory +13

Foundations of BQO theory

Alberto Marcone · Transactions of the American Mathematical Society · 1994 · 45 citations · Full text

Order Theory, Quantum Science, Combinatorics On Word +13

Reverse mathematics and the equivalence of definitions for well and better quasi-orders

Peter Cholak, Alberto Marcone, Reed Solomon · Journal of Symbolic Logic · 2004 · 28 citations

Order Theory, Better Quasi-orders, Ordinary Mathematics +14

Classification problems in continuum theory

Riccardo Camerlo, Udayan B. Darji, Alberto Marcone · Transactions of the American Mathematical Society · 2005 · 27 citations · Full text

Set-theoretic Topology, Model Theory, Continuum Theory +4

Rows per page

1–5 of 14