Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 48
Titolo Data di pubblicazione Autore(i) File
Theory of sets and classes and systems used in reverse mathematics 1-gen-1988 Marcone, Alberto Giulio
Borel quasi-orderings in subsystems of second-order arithmetic 1-gen-1991 Marcone, Alberto Giulio
Foundations of bqo theory 1-gen-1994 Marcone, Alberto Giulio
The set of better quasi orderings is $\Pi^1_2$-complete 1-gen-1995 Marcone, Alberto Giulio
On the logical strength of Nash-Williams' theorem on transfinite sequences 1-gen-1996 Marcone, Alberto Giulio
Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension 1-gen-1997 A., Andretta; Marcone, Alberto Giulio
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic 1-gen-1998 M., Giusto; Marcone, Alberto Giulio
Finite families with few symmetric differences 1-gen-1999 Marcone, Alberto Giulio; Parlamento, Franco; Policriti, Alberto
Extensions of functions which preserve the continuity on the original domain 1-gen-2000 C., Costantini; Marcone, Alberto Giulio
Definability in function spaces 1-gen-2001 A., Andretta; Marcone, Alberto Giulio
Fine analysis of the quasi-orderings on the power set 1-gen-2001 Marcone, Alberto Giulio
Pointwise convergence and the Wadge hierarchy 1-gen-2001 A., Andretta; Marcone, Alberto Giulio
Projective sets and ordinary differential equations 1-gen-2001 A., Andretta; Marcone, Alberto Giulio
Complexity of curves 1-gen-2004 Marcone, Alberto Giulio; U. B., Darji
Reverse mathematics and the equivalence of definitions for well and better quasi-orders 1-gen-2004 P., Cholak; Marcone, Alberto Giulio; R., Solomon
The complexity of continuous embeddability between dendrites 1-gen-2004 Marcone, Alberto Giulio; C., Rosendal
WQO and BQO theory in subsystems of second order arithmetic 1-gen-2005 Marcone, Alberto Giulio
Classification problems in continuum theory 1-gen-2005 R., Camerlo; U. B., Darji; Marcone, Alberto Giulio
Complexity of sets and binary relations in continuum theory: a survey 1-gen-2006 Marcone, Alberto Giulio
Interval orders and reverse mathematics 1-gen-2007 Marcone, Alberto Giulio
Mostrati risultati da 1 a 20 di 48
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