## Journal papers

24. Learning algebraic structures with the help of Borel equivalence relations

(with N. Bazhenov and V. Cipriani)

Theoretical Computer Science, forthcoming23. How to approximate fuzzy sets: Mind-changes and the Ershov hierarchy

(with N. Bazhenov, M. Mustafa, and S. Ospichev)

Synthese, online first, 2023

22. On the structure of computable reducibility on equivalence relations of natural numbers

(with U. Andrews and D. Belin)

Journal of Symbolic Logic, online first, 202221. Primitive recursive equivalence relations and their primitive recursive complexity

(with N. Bazhenov, K.M. Ng, and A. Sorbi)

Computability, online first, 202220. The category of equivalence relations

(with V. Delle Rose and A. Sorbi)

Algebra and Logic, 60(5), 295-307, 202119. On the Turing complexity of learning finite families of algebraic structures

(with N. Bazhenov)

Journal of Logic and Computation, 31(7), 1891-1900, 202118. Thin objects are not transparent

(with M. Plebani and G. Venturi)

Theoria, online first, 202117. On logicality and natural logic

(with S. Pistoia Reda)

Natural Language Semantics, 29, 501-506, 202116. Degrees of bi-embeddable categoricity

(with N. Bazhenov, E. Fokina, D. Rossegger)

Computability, 10(1), 1-16, 202115. Speech acts in mathematics

(with M. Ruffino and G. Venturi)

Synthese, 198, 10063-10087, 202114. What is to believe in a mathematical assertion?

(with G. Venturi)

Italian Journal of Philosophy of Language, 15(1), 154-157, 202113. Word problems and ceers

(with V. Delle Rose and A. Sorbi)

Mathematical Logic Quarterly, 66(3), 341-354, 202012. Learning families of algebraic structures from informant

(with N. Bazhenov and E. Fokina)

Information and Computation, 275, 104590, 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

12. Calculating the mind-change complexity of learning algebraic structures

(with N. Bazhenov and V. Cipriani)

in U. Berger, J. Franklin, F. Manea, and A. Pauly (eds.) CiE 2022: Revolutions and Revelations in Computability, Springer (LNCS 13359), 1-12, 202211. Computability theory as a philosophical achievement

(with M. Plebani)

online first in Clinical Chemistry and Laboratory Medicine, 202210. Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy

(with N. Bazhenov, M. Mustafa, and S. Ospichev)

in S. Ghosh and T. Icard (eds.), Logic, Rationality, and Interaction, Springer (LNCS 13039), 20219. On the computational content of the theory of Borel equivalence relations

(with N. Bazhenov, B. Monin, and R. Zamora)

Oberwolfach Preprints, OWP 2021(06), 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

5. Classifying word problems of finitely generated algebras via computable reducibility

(with V. Delle Rose and A. Sorbi)4. Investigating the computable Friedman-Stanley jump

(with U. Andrews)3. How to make (mathematical) assertions with directives

(with L. Caponetto and G. Venturi)2. Buridan's cell

(with L. Ferrone)1. Comparing the isomorphism type of equivalence structures and preorders

(with N. Bazhenov)