Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 106
Titolo Data di pubblicazione Autore(i) File Abstract
Conjunctive degrees and cylinders 1-gen-2023 Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea -
Classifying word problems of finitely generated algebras via computable reducibility 1-gen-2023 Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea -
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 -
Initial segments of the degrees of ceers 1-gen-2022 Andrews, Uri; Sorbi, Andrea -
Primitive recursive equivalence relations and their primitive recursive complexity 1-gen-2022 Bazhenov, Nikolay; Meng Ng, Keng; San Mauro, Luca; 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 -
A note on uniform density in weak arithmetical theories 1-gen-2021 Pianigiani, Duccio; 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 -
Self-full ceers and the uniform join operator 1-gen-2020 Andrews, Uri; Schweber, Noah; Sorbi, Andrea -
Classifying equivalence relations in the Ershov hierarchy 1-gen-2020 Bazhenov, Nikolay; Mustafa, Manat; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea; Yamaleev, Mars -
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 -
Incomparability in local structures of $s$-degrees and $Q$-degrees 1-gen-2020 Chitaia, Irakli; Ng Keng, Meng; Sorbi, Andrea; Yang, Yue -
Trial and error mathematics: dialectical systems and completions of theories 1-gen-2019 Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; Sorbi, Andrea -
Comparing the degrees of enumerability and the closed Medvedev degrees 1-gen-2019 Shafer, Paul; Sorbi, Andrea -
Joins and meets in the structure of ceers 1-gen-2019 Andrews, Uri; 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 -
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 -
Mostrati risultati da 1 a 20 di 106
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