IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 48
Titolo Data di pubblicazione Autore(i) File
Coloring linear orders with Rado's partial order 1-gen-2007 Marcone, Alberto Giulio; R., Camerlo
How Incomputable is the Separable Hahn-Banach Theorem? 1-gen-2008 Gherardi, Guido; Marcone, Alberto
Equivalenze tra teoremi: il programma di ricerca della reverse mathematics 1-gen-2009 Marcone, Alberto Giulio
On Fraïssé’s conjecture for linear orders of finite Hausdorff rank 1-gen-2009 Marcone, Alberto Giulio; A., Montalbán
How incomputable is the separable Hahn-Banach theorem? 1-gen-2009 G., Gherardi; Marcone, Alberto Giulio
The Veblen functions for computability theorists 1-gen-2011 Marcone, Alberto Giulio; A., Montalbán
The maximal linear extension theorem in second order arithmetic 1-gen-2011 Marcone, Alberto Giulio; R. A., Shore
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma 1-gen-2012 V., Brattka; G., Gherardi; Marcone, Alberto Giulio
Computing maximal chains 1-gen-2012 Marcone, Alberto Giulio; A., Montalbán; R. A., Shore
Linear extensions of partial orders and Reverse Mathematics 1-gen-2012 Frittaion, Emanuele; Marcone, Alberto Giulio
Invariantly universal analytic quasi-orders 1-gen-2013 R., Camerlo; Marcone, Alberto Giulio; L., MOTTO ROS
Reverse mathematics and initial intervals 1-gen-2014 Frittaion, Emanuele; Marcone, Alberto Giulio
Epimorphisms Between Linear Orders 1-gen-2015 Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto Giulio
Reverse mathematics, well-quasi-orders, and Noetherian spaces 1-gen-2016 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] 1-gen-2017 Brattka, Vasco; Cettolo, Andrea; Gherardi, Guido; Marcone, Alberto Giulio; Schröder, Matthias
The logic of the reverse mathematics zoo 1-gen-2018 D'Agostino, Giovanna; Marcone, Alberto
On isometry and isometric embeddability between ultrametric Polish spaces 1-gen-2018 Camerlo, Riccardo; Marcone, Alberto; Motto Ros, Luca
Projection operators in the Weihrauch lattice 1-gen-2019 Gherardi, G.; Marcone, A.; Pauly, A.
Linear orders: When embeddability and epimorphism agree 1-gen-2019 Camerlo, Riccardo; Carroy, Raphaël; Marcone, Alberto
Polish metric spaces with fixed distance set 1-gen-2020 Camerlo, R.; Marcone, A.; Motto Ros, L.
Mostrati risultati da 21 a 40 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