Sfoglia per Autore
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities
2023-01-01 Chitaia, Irakli; Meng Ng, Keng; Sorbi, Andrea; Yang, Yue
Classifying word problems of finitely generated algebras via computable reducibility
2023-01-01 Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea
Conjunctive degrees and cylinders
2023-01-01 Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
Primitive recursive equivalence relations and their primitive recursive complexity
2022-01-01 Bazhenov, Nikolay; Meng Ng, Keng; San Mauro, Luca; Sorbi, Andrea
Initial segments of the degrees of ceers
2022-01-01 Andrews, Uri; Sorbi, Andrea
Notes on conjunctive and quasi degrees
2021-01-01 Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
Effective inseparability, lattices, and preordering relations
2021-01-01 Sorbi, Andrea; Andrews, Uri
A note on uniform density in weak arithmetical theories
2021-01-01 Pianigiani, Duccio; Sorbi, Andrea
Effective Inseparability and Its Applications
2021-01-01 Sorbi, Andrea
The category of equivalence relations
2021-01-01 DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea
The theory of ceers computes true arithmetic
2020-01-01 Andrews, Uri; Schweber, Noah; Sorbi, Andrea
Word problems and ceers
2020-01-01 DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea
Self-full ceers and the uniform join operator
2020-01-01 Andrews, Uri; Schweber, Noah; Sorbi, Andrea
Incomparability in local structures of $s$-degrees and $Q$-degrees
2020-01-01 Chitaia, Irakli; Ng Keng, Meng; Sorbi, Andrea; Yang, Yue
Classifying equivalence relations in the Ershov hierarchy
2020-01-01 Bazhenov, Nikolay; Mustafa, Manat; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea; Yamaleev, Mars
Trial and error mathematics: dialectical systems and completions of theories
2019-01-01 Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea
Joins and meets in the structure of ceers
2019-01-01 Andrews, Uri; Sorbi, Andrea
Comparing the degrees of enumerability and the closed Medvedev degrees
2019-01-01 Shafer, Paul; Sorbi, Andrea
Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità
2018-01-01 Cintioli, Patrizio; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea
Calibrating word problems of groups via the complexity of equivalence relations
2018-01-01 Nies, Andrè; Sorbi, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
|---|---|---|---|---|
| Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities | 1-gen-2023 | Chitaia, Irakli; Meng Ng, Keng; Sorbi, Andrea; Yang, Yue | - | |
| Classifying word problems of finitely generated algebras via computable reducibility | 1-gen-2023 | Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea | - | |
| Conjunctive degrees and cylinders | 1-gen-2023 | Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea | - | |
| Primitive recursive equivalence relations and their primitive recursive complexity | 1-gen-2022 | Bazhenov, Nikolay; Meng Ng, Keng; San Mauro, Luca; Sorbi, Andrea | - | |
| Initial segments of the degrees of ceers | 1-gen-2022 | Andrews, Uri; Sorbi, Andrea | - | |
| Notes on conjunctive and quasi degrees | 1-gen-2021 | Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea | - | |
| Effective inseparability, lattices, and preordering relations | 1-gen-2021 | Sorbi, Andrea; Andrews, Uri | - | |
| A note on uniform density in weak arithmetical theories | 1-gen-2021 | Pianigiani, Duccio; Sorbi, Andrea | - | |
| Effective Inseparability and Its Applications | 1-gen-2021 | Sorbi, Andrea | - | |
| The category of equivalence relations | 1-gen-2021 | DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea | - | |
| The theory of ceers computes true arithmetic | 1-gen-2020 | Andrews, Uri; Schweber, Noah; Sorbi, Andrea | - | |
| Word problems and ceers | 1-gen-2020 | DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea | - | |
| Self-full ceers and the uniform join operator | 1-gen-2020 | Andrews, Uri; Schweber, Noah; Sorbi, Andrea | - | |
| Incomparability in local structures of $s$-degrees and $Q$-degrees | 1-gen-2020 | Chitaia, Irakli; Ng Keng, Meng; Sorbi, Andrea; Yang, Yue | - | |
| Classifying equivalence relations in the Ershov hierarchy | 1-gen-2020 | Bazhenov, Nikolay; Mustafa, Manat; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea; Yamaleev, Mars | - | |
| Trial and error mathematics: dialectical systems and completions of theories | 1-gen-2019 | Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea | - | |
| Joins and meets in the structure of ceers | 1-gen-2019 | Andrews, Uri; Sorbi, Andrea | - | |
| Comparing the degrees of enumerability and the closed Medvedev degrees | 1-gen-2019 | Shafer, Paul; Sorbi, Andrea | - | |
| Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità | 1-gen-2018 | Cintioli, Patrizio; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea | - | |
| Calibrating word problems of groups via the complexity of equivalence relations | 1-gen-2018 | Nies, Andrè; Sorbi, Andrea | - |
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