Sfoglia per Autore
Jumps of computably enumerable equivalence relations
2018-01-01 Andrews, Uri; Sorbi, Andrea
S. Barry Cooper (1943-2015)
2018-01-01 Elwes, Richard; Lewis-Pye, Andy; Loewe, Benedikt; Macpherson, Dugald; Normann, Dag; Sorbi, Andrea; Soskova Alexandra, A.; Soskova Mariya, I.; van Emde Boas, Peter; Wainer, Stan
A survey on universal computably enumerable equivalence relations
2017-01-01 Andrews, U.; Badaev, S.; Sorbi, Andrea
Ricordo di Franco Montagna
2016-01-01 Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo
Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets.
2016-01-01 Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea
A note on the enumeration degrees of 1-generic sets
2016-01-01 Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea
Weakly precomplete computably enumerable equivalence relations
2016-01-01 Badaev, Serikzhan A.; Sorbi, Andrea
In memoriam: Barry Cooper 1943-2015
2016-01-01 Lewis-Pye, Andrew; Sorbi, Andrea
Trial and error mathematics I: dialectical and quasi-dialectical systems
2016-01-01 Jacopo, Amidei; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea
Initial segments of the Σ0 2 enumeration degrees
2016-01-01 Ganchev, Hristo; Sorbi, Andrea
The complexity of index sets of classes of computably enumerable equivalence relations
2016-01-01 Andrews, Uri; Sorbi, Andrea
Friedberg numberings in the Ershov hierarchy
2015-01-01 Serikzhan A., Badaev; Mustafa, Manat; Sorbi, Andrea
Generalizations of the Weak Law of the Excluded Middle
2015-01-01 Sorbi, Andrea; Terwijn, Sebastiaan A.
Taking the Pirahã seriously
2015-01-01 Montagna, Franco; Simi, Giulia; Sorbi, Andrea
Universal computably enumerable equivalence relations
2014-01-01 Andrews, U.; Lempp, S.; Miller, J. S.; Ng, K. M.; San Mauro, L.; Sorbi, Andrea
A note on initial segments of the enumeration degrees
2014-01-01 Slaman, T. A.; Sorbi, Andrea
Singleton enumeration reducibility and arithmetic
2013-01-01 Marsibilio, D.; Sorbi, Andrea
Morfometria geometrica non invasiva su semi archeologici di vite per risalire all'origine di antiche varietà antropiche
2012-01-01 Milanesi, Claudio; Costantini, L.; Antonucci, F.; Menesatti, P.; Costa, C.; Faleri, Claudia; Sorbi, Andrea; Vignani, Rita; Cresti, Mauro
Rogers semilattices of families of two embedded sets in the Ershov hierarchy
2012-01-01 Badaev, S. A.; Manat, M.; Sorbi, Andrea
Intuitionistic logic and Muchnik degrees
2012-01-01 Sorbi, Andrea; Terwijn, S.
Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
---|---|---|---|---|
Jumps of computably enumerable equivalence relations | 1-gen-2018 | Andrews, Uri; Sorbi, Andrea | - | |
S. Barry Cooper (1943-2015) | 1-gen-2018 | Elwes, Richard; Lewis-Pye, Andy; Loewe, Benedikt; Macpherson, Dugald; Normann, Dag; Sorbi, Andrea; Soskova Alexandra, A.; Soskova Mariya, I.; van Emde Boas, Peter; Wainer, Stan | - | |
A survey on universal computably enumerable equivalence relations | 1-gen-2017 | Andrews, U.; Badaev, S.; Sorbi, Andrea | - | |
Ricordo di Franco Montagna | 1-gen-2016 | Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo | - | |
Trial and error mathematics II: dialectical sets and quasi-dialectical sets, their degrees, and their distribution within the class of limit sets. | 1-gen-2016 | Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea | - | |
A note on the enumeration degrees of 1-generic sets | 1-gen-2016 | Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea | - | |
Weakly precomplete computably enumerable equivalence relations | 1-gen-2016 | Badaev, Serikzhan A.; Sorbi, Andrea | - | |
In memoriam: Barry Cooper 1943-2015 | 1-gen-2016 | Lewis-Pye, Andrew; Sorbi, Andrea | - | |
Trial and error mathematics I: dialectical and quasi-dialectical systems | 1-gen-2016 | Jacopo, Amidei; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea | - | |
Initial segments of the Σ0 2 enumeration degrees | 1-gen-2016 | Ganchev, Hristo; Sorbi, Andrea | - | |
The complexity of index sets of classes of computably enumerable equivalence relations | 1-gen-2016 | Andrews, Uri; Sorbi, Andrea | - | |
Friedberg numberings in the Ershov hierarchy | 1-gen-2015 | Serikzhan A., Badaev; Mustafa, Manat; Sorbi, Andrea | - | |
Generalizations of the Weak Law of the Excluded Middle | 1-gen-2015 | Sorbi, Andrea; Terwijn, Sebastiaan A. | - | |
Taking the Pirahã seriously | 1-gen-2015 | Montagna, Franco; Simi, Giulia; Sorbi, Andrea | - | |
Universal computably enumerable equivalence relations | 1-gen-2014 | Andrews, U.; Lempp, S.; Miller, J. S.; Ng, K. M.; San Mauro, L.; Sorbi, Andrea | - | |
A note on initial segments of the enumeration degrees | 1-gen-2014 | Slaman, T. A.; Sorbi, Andrea | - | |
Singleton enumeration reducibility and arithmetic | 1-gen-2013 | Marsibilio, D.; Sorbi, Andrea | - | |
Morfometria geometrica non invasiva su semi archeologici di vite per risalire all'origine di antiche varietà antropiche | 1-gen-2012 | Milanesi, Claudio; Costantini, L.; Antonucci, F.; Menesatti, P.; Costa, C.; Faleri, Claudia; Sorbi, Andrea; Vignani, Rita; Cresti, Mauro | - | |
Rogers semilattices of families of two embedded sets in the Ershov hierarchy | 1-gen-2012 | Badaev, S. A.; Manat, M.; Sorbi, Andrea | - | |
Intuitionistic logic and Muchnik degrees | 1-gen-2012 | Sorbi, Andrea; Terwijn, S. | - |
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