Journal papers
18. On the Turing complexity of learning finite families of algebraic structures
(with N. Bazhenov)
forthcoming in Journal of Logic and Computation, 202117. A note on the category of equivalence relations
(with V. Delle Rose and A. Sorbi)
forthcoming in Algebra and Logic, 202116. On logicality and natural logic
(with S. Pistoia Reda)
forthcoming in Natural Language Semantics, 202115. Word problems and ceers
(with V. Delle Rose and A. Sorbi)
Mathematical Logic Quarterly, 66(3), 341-354, 202014. Learning families of algebraic structures from informant
(with N. Bazhenov and E. Fokina)
Information and Computation, 275, 104590, 202013. Degrees of bi-embeddable categoricity
(with N. Bazhenov, E. Fokina, D. Rossegger)
Computability, 10(1), 1-16, 202112. Speech acts in mathematics
(with M. Ruffino and G. Venturi)
online first in Synthese, 202011. Classifying equivalence relations in the Ershov hierarchy
(with N. Bazhenov, M. Mustafa, A. Sorbi, and M. Yamaleev)
Archive for Mathematical Logic, 59(7/8), 835-864, 202010. Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies
(with N. Bazhenov, M. Mustafa, and M. Yamaleev)
Lobachevskii Journal of Mathematics, 41, 145-150, 20209. At least one black sheep: Pragmatics and the language of mathematics
(with M. Ruffino and G. Venturi)
Journal of Pragmatics, 160, 114-119, 20208. Bi-embeddability spectra and bases of spectra
(with E. Fokina and D. Rossegger)
Mathematical Logic Quaterly, 65(2), 228-236, 20197. Measuring the complexity of reductions between equivalence relations
(with E. Fokina and D. Rossegger)
Computability, 8(3/4), 265-280, 20196. Degrees of bi-embeddable categoricity of equivalence structures
(with N. Bazhenov, E. Fokina, and D. Rossegger)
Archive for Mathematical Logic, 58(5/6), 543-563, 20195. Trial and error mathematics: Dialectical systems and completions of theories
(with J. Amidei, U. Andrews, D. Pianigiani, and A. Sorbi)
Journal of Logic and Computation, 29(1), 157-184, 20194. Computable bi-embeddable categoricity
(with N. Bazhenov, E. Fokina, and D. Rossegger)
Algebra and Logic, 57(5), 392-396, 20183. Trial and error mathematics II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets
(with J. Amidei, D. Pianigiani and A. Sorbi)
Review of Symbolic Logic, 9(4), 810-835, 20162. Trial and error mathematics I: Dialectical and quasidialectical systems
(with J. Amidei, D. Pianigiani, G. Simi, and A. Sorbi)
Review of Symbolic Logic, 9(2), 299-324, 20161. Universal computably enumerable equivalence relations
(with U. Andrews, S. Lempp, J. S. Miller, K. M. Ng, and A. Sorbi)
Journal of Symbolic Logic, 79(1), 60-88, 2014
BOOK CHAPTERS AND CONFERENCE PAPERS
9. On the computational content of the theory of Borel equivalence relations
(with N. Bazhenov, B. Monin, and R. Zamora)
forthcoming in Oberwolfach Preprints, 20218. Limit learning equivalence structures
(with E. Fokina and T. Koetzing)
Proceedings of Machine Learning Research, 98, 383-403, 20197. Ragionare per reclutare: la logica nei (e dei) convegni pubblici
(with A. Averardi)
Convegno Annuale Associazione Italiana Professori di Diritto Amministrativo, 20196. Church-Turing thesis, in practice
in M. Piazza and G. Pulcini (eds), Truth, Existence and Explanation, Springer, 225-248, 20185. Direzioni della logica in Italia: la teoria (classica) della ricorsivitĂ
(with P. Cintioli and A. Sorbi)
in H. Hosni, G. Lolli, C. Toffalori (eds.), Le direzioni della ricerca logica in Italia 2, Edizioni ETS, 195-234, 20184. Degree spectra of structures with respect to the bi-embeddability relation
(with E. Fokina and D. Rossegger)
Proceedings of the 11th Panhellenic Logic Symposium, 32-38, 20173. Computable bi-embeddable categoricity of equivalence structures
(with N. Bazhenov, E. Fokina, and D. Rossegger)
Proceedings of the 11th Panhellenic Logic Symposium, 126-132, 20172. Reducibility and bi-reducibility spectra of equivalence relations
(with E. Fokina and D. Rossegger)
Proceedings of the 11th Panhellenic Logic Symposium, 83-89, 20171. Naturalness in mathematics
(with G. Venturi)
in G. Lolli, M. Panza, G. Venturi (eds.), From Logic to Practice, Springer, 277-313, 2014
SUBMITTED FOR PUBLICATION
On the structure of computable reducibility on equivalence relations of natural numbers
(with U. Andrews and D. Belin)Approximating approximate reasoning: Fuzzy sets and the Ershov hierarchy
(with N. Bazhenov, M. Mustafa, and S. Ospichev)Thin objects are not transparent
(with M. Plebani and G. Venturi)What is to believe in a mathematical assertion?
(with G. Venturi)Comparing the isomorphism type of equivalence structures and preorders
(with N. Bazhenov)Free choice and mathematical language
(with S. Pistoia Reda)