Sfoglia per Autore
Theory of sets and classes and systems used in reverse mathematics
1988-01-01 Marcone, Alberto Giulio
Borel quasi-orderings in subsystems of second-order arithmetic
1991-01-01 Marcone, Alberto Giulio
Foundations of bqo theory
1994-01-01 Marcone, Alberto Giulio
The set of better quasi orderings is $\Pi^1_2$-complete
1995-01-01 Marcone, Alberto Giulio
On the logical strength of Nash-Williams' theorem on transfinite sequences
1996-01-01 Marcone, Alberto Giulio
Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension
1997-01-01 A., Andretta; Marcone, Alberto Giulio
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
1998-01-01 M., Giusto; Marcone, Alberto Giulio
Finite families with few symmetric differences
1999-01-01 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
Extensions of functions which preserve the continuity on the original domain
2000-01-01 C., Costantini; Marcone, Alberto Giulio
Pointwise convergence and the Wadge hierarchy
2001-01-01 A., Andretta; Marcone, Alberto Giulio
Definability in function spaces
2001-01-01 A., Andretta; Marcone, Alberto Giulio
Fine analysis of the quasi-orderings on the power set
2001-01-01 Marcone, Alberto Giulio
Projective sets and ordinary differential equations
2001-01-01 A., Andretta; Marcone, Alberto Giulio
The complexity of continuous embeddability between dendrites
2004-01-01 Marcone, Alberto Giulio; C., Rosendal
Complexity of curves
2004-01-01 Marcone, Alberto Giulio; U. B., Darji
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
2004-01-01 P., Cholak; Marcone, Alberto Giulio; R., Solomon
WQO and BQO theory in subsystems of second order arithmetic
2005-01-01 Marcone, Alberto Giulio
Classification problems in continuum theory
2005-01-01 R., Camerlo; U. B., Darji; Marcone, Alberto Giulio
Complexity of sets and binary relations in continuum theory: a survey
2006-01-01 Marcone, Alberto Giulio
Interval orders and reverse mathematics
2007-01-01 Marcone, Alberto Giulio
Coloring linear orders with Rado's partial order
2007-01-01 Marcone, Alberto Giulio; R., Camerlo
How Incomputable is the Separable Hahn-Banach Theorem?
2008-01-01 Gherardi, Guido; Marcone, Alberto
Equivalenze tra teoremi: il programma di ricerca della reverse mathematics
2009-01-01 Marcone, Alberto Giulio
On Fraïssé’s conjecture for linear orders of finite Hausdorff rank
2009-01-01 Marcone, Alberto Giulio; A., Montalbán
How incomputable is the separable Hahn-Banach theorem?
2009-01-01 G., Gherardi; Marcone, Alberto Giulio
The maximal linear extension theorem in second order arithmetic
2011-01-01 Marcone, Alberto Giulio; R. A., Shore
The Veblen functions for computability theorists
2011-01-01 Marcone, Alberto Giulio; A., Montalbán
Linear extensions of partial orders and Reverse Mathematics
2012-01-01 Frittaion, Emanuele; Marcone, Alberto Giulio
Computing maximal chains
2012-01-01 Marcone, Alberto Giulio; A., Montalbán; R. A., Shore
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
2012-01-01 V., Brattka; G., Gherardi; Marcone, Alberto Giulio
Invariantly universal analytic quasi-orders
2013-01-01 R., Camerlo; Marcone, Alberto Giulio; L., MOTTO ROS
Reverse mathematics and initial intervals
2014-01-01 Frittaion, Emanuele; Marcone, Alberto Giulio
Epimorphisms Between Linear Orders
2015-01-01 Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto Giulio
Reverse mathematics, well-quasi-orders, and Noetherian spaces
2016-01-01 Frittaion, Emanuele; Hendtlass, Matthew; Marcone, Alberto Giulio; Shafer, Paul; van der Meeren, Jeroen
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
2017-01-01 Brattka, Vasco; Cettolo, Andrea; Gherardi, Guido; Marcone, Alberto Giulio; Schröder, Matthias
The logic of the reverse mathematics zoo
2018-01-01 D'Agostino, Giovanna; Marcone, Alberto
On isometry and isometric embeddability between ultrametric Polish spaces
2018-01-01 Camerlo, Riccardo; Marcone, Alberto; Motto Ros, Luca
Linear orders: When embeddability and epimorphism agree
2019-01-01 Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto
Projection operators in the Weihrauch lattice
2019-01-01 Gherardi, G.; Marcone, A.; Pauly, A.
The Reverse Mathematics of wqos and bqos
2020-01-01 Marcone, Alberto
Searching for An Analogue of ATR_0 in the Weihrauch Lattice
2020-01-01 Kihara, T.; Marcone, A.; Pauly, A.
Polish metric spaces with fixed distance set
2020-01-01 Camerlo, R.; Marcone, A.; Motto Ros, L.
The open and clopen Ramsey theorems in the Weihrauch lattice
2021-01-01 Marcone, Alberto Giulio; Valenti, Manlio
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
2021-01-01 Fiori-Carones, M.; Marcone, A.
Uniquely orderable interval graphs
2022-01-01 Fiori-Carones, Marta; Marcone, Alberto
On the descriptive complexity of Salem sets
2022-01-01 Marcone, Alberto Giulio; Valenti, Manlio
(Extra)ordinary equivalences with the ascending/descending sequence principle
2022-01-01 Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni
Effective aspects of Hausdorff and Fourier dimension
2022-01-01 Marcone, Alberto; Valenti, Manlio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile