SAN MAURO, LUCA FRANCESCO
SAN MAURO, LUCA FRANCESCO
Dipartimento di Scienze Sociali, Politiche e Cognitive
At least one black sheep: Pragmatics and mathematical language
2020-01-01 Ruffino, M.; San Mauro, L.; Venturi, G.
Bi-embeddability spectra and bases of spectra
2019-01-01 Fokina, E.; Rossegger, D.; San Mauro, L.
Classifying equivalence relations in the Ershov hierarchy
2020-01-01 Bazhenov, Nikolay; Mustafa, Manat; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea; Yamaleev, Mars
Computable Bi-Embeddable Categoricity
2018-01-01 Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L.
Degrees of bi-embeddable categoricity of equivalence structures
2019-01-01 Bazhenov, N.; Fokina, E.; Rossegger, D.; San Mauro, L.
Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità
2018-01-01 Cintioli, Patrizio; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea
Learning families of algebraic structures from informant
2020-01-01 Bazhenov, N.; Fokina, E.; San Mauro, L.
Measuring the complexity of reductions between equivalence relations
2019-01-01 Fokina, E.; Rossegger, D.; San Mauro, L.
Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies
2020-01-01 Bazhenov, N. A.; Mustafa, M.; San Mauro, L.; Yamaleev, M. M.
Rejoinder
2020-01-01 Ruffino, M.; San Mauro, L.; Venturi, G.
The category of equivalence relations
2021-01-01 DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; 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
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
Trial and error mathematics: dialectical systems and completions of theories
2019-01-01 Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; 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
Word problems and ceers
2020-01-01 DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea
Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
---|---|---|---|---|
At least one black sheep: Pragmatics and mathematical language | 1-gen-2020 | Ruffino, M.; San Mauro, L.; Venturi, G. | - | |
Bi-embeddability spectra and bases of spectra | 1-gen-2019 | Fokina, E.; Rossegger, D.; San Mauro, L. | - | |
Classifying equivalence relations in the Ershov hierarchy | 1-gen-2020 | Bazhenov, Nikolay; Mustafa, Manat; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea; Yamaleev, Mars | - | |
Computable Bi-Embeddable Categoricity | 1-gen-2018 | Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L. | - | |
Degrees of bi-embeddable categoricity of equivalence structures | 1-gen-2019 | Bazhenov, N.; Fokina, E.; Rossegger, D.; San Mauro, L. | - | |
Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità | 1-gen-2018 | Cintioli, Patrizio; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea | - | |
Learning families of algebraic structures from informant | 1-gen-2020 | Bazhenov, N.; Fokina, E.; San Mauro, L. | - | |
Measuring the complexity of reductions between equivalence relations | 1-gen-2019 | Fokina, E.; Rossegger, D.; San Mauro, L. | - | |
Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies | 1-gen-2020 | Bazhenov, N. A.; Mustafa, M.; San Mauro, L.; Yamaleev, M. M. | - | |
Rejoinder | 1-gen-2020 | Ruffino, M.; San Mauro, L.; Venturi, G. | - | |
The category of equivalence relations | 1-gen-2021 | DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; 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 | - | |
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 | - | |
Trial and error mathematics: dialectical systems and completions of theories | 1-gen-2019 | Amidei, Jacopo; Andrews, Uri; Pianigiani, Duccio; San Mauro, Luca; 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 | - | |
Word problems and ceers | 1-gen-2020 | DELLE ROSE, Valentino; SAN MAURO, LUCA FRANCESCO; Sorbi, Andrea | - |