I am postdoctoral fellow at the Institute
for Discrete Mathematics and Geometry of Vienna University of Technology.

I am also running a two-years research project (2018-2020) funded by the Austrian Science Fund (FWF), entitled *Classifying relations via computable reducibility*.

My research interests lie in computability theory and philosophy of mathematics.

**Computable bi-embeddable categoricity**

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

forthcoming in*Algebra and Logic***Measuring the complexity of reductions between equivalence relations**,

(with E. Fokina and D. Rossegger)

forthcoming in*Computability***Trial and error mathematics: Completions of theories**

(with J. Amidei, U. Andrews, D. Pianigiani, and A. Sorbi), submitted**Degrees of bi-embeddable categoricity of equivalence structures**

(with N. Bazhenov, E. Fokina, and D. Rossegger), submitted**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)

*The Review of Symbolic Logic*, 9(4), 810-835, 2016**Trial and error mathematics I: Dialectical and quasidialectical systems**

(with J. Amidei, D. Pianigiani, G. Simi, and A. Sorbi)

*The Review of Symbolic Logic*, 9(2), 299-324, 2016**Universal computably enumerable equivalence relations**

(with U. Andrews, S. Lempp, J.S. Miller, K.M. Ng, and A. Sorbi)

*The Journal of Symbolic Logic*, 79, 60-88, 2014

**Church-Turing thesis, in practice**

forthcoming in M. Piazza and G. Pulcini (eds),, Boston Studies in the Philosophy of Science, Springer**Truth, Existence and Explanation****Direzioni della logica in Italia: la teoria (classica) della ricorsività**

(with P. Cintioli and A. Sorbi), forthcoming in H. Hosni, G. Lolli, C. Toffalori (eds.),*Direzioni della logica in Italia*, Edizioni della Normale**Naturalness in mathematics**

(with G. Venturi)

G. Lolli, M. Panza, and G. Venturi (eds.),*From Logic to Practice*, Boston Studies in the Philosophy and History of Science 308, Springer, 277-313, 2014

**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, 2017**Computable bi-embeddable categoricity of equivalence structures**

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

*Proceedings of the 11th Panhellenic Logic Symposium*, 126-132, 2017**Reducibility and bi-reducibility spectra of equivalence relations**

(with E. Fokina and D. Rossegger)

*Proceedings of the 11th Panhellenic Logic Symposium*, 83-89, 2017

**Bi-embeddability spectra and bases of spectra**

(with E. Fokina and D. Rossegger)**Speech acts in mathematics**

(with M. Ruffino and G. Venturi)**Learning equivalence structures**

(with E. Fokina and T. Koetzing)**Equivalence relations in the Ershov hierarchy**

(with N. Bazhenov, M. Manat, A. Sorbi, M. Yamaleev)**The complexity of primitive recursive equivalence relations**

(with N. Bazhenov)

Institute of Discrete Mathematics and Geometry

Vienna University of Technology

Wiedner Hauptstrasse 8-10/104

1040 Vienna, Austria

email: luca.san.mauro(at)tuwien.ac.at

phone: (+43)665-65101427