SAN MAURO, LUCA FRANCESCO
SAN MAURO, LUCA FRANCESCO
DIPARTIMENTO DI RICERCA E INNOVAZIONE UMANISTICA
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.
Calculating the Mind Change Complexity of Learning Algebraic Structures
2022-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
Church-Turing Thesis, in Practice
2018-01-01 San Mauro, L.
Classifying equivalence relations in the Ershov hierarchy
2020-01-01 Bazhenov, N.; Mustafa, M.; San Mauro, L.; Sorbi, A.; Yamaleev, M.
Classifying word problems of finitely generated algebras via computable reducibility
2023-01-01 Delle Rose, V.; San Mauro, L.; Sorbi, A.
Computability theory as a philosophical achievement
2022-01-01 Plebani, M.; San Mauro, L.
Computable Bi-Embeddable Categoricity
2018-01-01 Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L.
Degrees of bi-embeddable categoricity
2021-01-01 Bazhenov, N.; Fokina, E.; 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.
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy
2023-01-01 Bazhenov, N.; Mustafa, M.; Ospichev, S.; San Mauro, L.
How to make (mathematical) assertions with directives
2023-01-01 Caponetto, L.; San Mauro, L.; Venturi, G.
Investigating the computable Friedman-Stanley jump
2023-01-01 Andrews, U. R. I.; San Mauro, L. U. C. A.
Learning algebraic structures with the help of Borel equivalence relations
2023-01-01 Bazhenov, N.; Cipriani, V.; San Mauro, L.
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.
Naturalness in Mathematics
2015-01-01 San Mauro, L.; Venturi, G.
On logicality and natural logic
2021-01-01 Pistoia-Reda, S.; San Mauro, L.
On The Structure Of Computable Reducibility On Equivalence Relations Of Natural Numbers
2023-01-01 Andrews, U.; Belin, D. F.; San Mauro, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Calculating the Mind Change Complexity of Learning Algebraic Structures | 1-gen-2022 | Bazhenov, N.; Cipriani, V.; San Mauro, L. | |
Church-Turing Thesis, in Practice | 1-gen-2018 | San Mauro, L. | |
Classifying equivalence relations in the Ershov hierarchy | 1-gen-2020 | Bazhenov, N.; Mustafa, M.; San Mauro, L.; Sorbi, A.; Yamaleev, M. | |
Classifying word problems of finitely generated algebras via computable reducibility | 1-gen-2023 | Delle Rose, V.; San Mauro, L.; Sorbi, A. | |
Computability theory as a philosophical achievement | 1-gen-2022 | Plebani, M.; San Mauro, L. | |
Computable Bi-Embeddable Categoricity | 1-gen-2018 | Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L. | |
Degrees of bi-embeddable categoricity | 1-gen-2021 | Bazhenov, N.; Fokina, E.; 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. | |
How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy | 1-gen-2023 | Bazhenov, N.; Mustafa, M.; Ospichev, S.; San Mauro, L. | |
How to make (mathematical) assertions with directives | 1-gen-2023 | Caponetto, L.; San Mauro, L.; Venturi, G. | |
Investigating the computable Friedman-Stanley jump | 1-gen-2023 | Andrews, U. R. I.; San Mauro, L. U. C. A. | |
Learning algebraic structures with the help of Borel equivalence relations | 1-gen-2023 | Bazhenov, N.; Cipriani, V.; San Mauro, L. | |
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. | |
Naturalness in Mathematics | 1-gen-2015 | San Mauro, L.; Venturi, G. | |
On logicality and natural logic | 1-gen-2021 | Pistoia-Reda, S.; San Mauro, L. | |
On The Structure Of Computable Reducibility On Equivalence Relations Of Natural Numbers | 1-gen-2023 | Andrews, U.; Belin, D. F.; San Mauro, L. |