Sfoglia per Autore
Searching for An Analogue of ATR_0 in the Weihrauch Lattice
2020-01-01 Kihara, T.; Marcone, A.; Pauly, A.
The Reverse Mathematics of wqos and bqos
2020-01-01 Marcone, Alberto
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs
2021-01-01 Fiori-Carones, M.; Marcone, A.
The open and clopen Ramsey theorems in the Weihrauch lattice
2021-01-01 Marcone, Alberto Giulio; Valenti, Manlio
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Searching for An Analogue of ATR_0 in the Weihrauch Lattice | 1-gen-2020 | Kihara, T.; Marcone, A.; Pauly, A. | |
The Reverse Mathematics of wqos and bqos | 1-gen-2020 | Marcone, Alberto | |
To reorient is easier than to orient: An on-line algorithm for reorientation of graphs | 1-gen-2021 | Fiori-Carones, M.; Marcone, A. | |
The open and clopen Ramsey theorems in the Weihrauch lattice | 1-gen-2021 | Marcone, Alberto Giulio; Valenti, Manlio | |
Uniquely orderable interval graphs | 1-gen-2022 | Fiori-Carones, Marta; Marcone, Alberto | |
On the descriptive complexity of Salem sets | 1-gen-2022 | Marcone, Alberto Giulio; Valenti, Manlio | |
(Extra)ordinary equivalences with the ascending/descending sequence principle | 1-gen-2022 | Fiori-Carones, Marta; Marcone, Alberto; Shafer, Paul; Soldà, Giovanni | |
Effective aspects of Hausdorff and Fourier dimension | 1-gen-2022 | 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