Luca San Mauro

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.


Publications

Journal articles

  1. Classifying Equivalence relations in the Ershov hierarchy
    (with N. Bazhenov, M. Mustafa, A. Sorbi, M. Yamaleev), submitted
  2. Bi-embeddability spectra and bases of spectra
    (with E. Fokina and D. Rossegger), submitted
  3. Computable bi-embeddable categoricity
    (with N. Bazhenov, E. Fokina, and D. Rossegger)
    Algebra and Logic,57(5), 392-396
  4. Measuring the complexity of reductions between equivalence relations
    (with E. Fokina and D. Rossegger)
    forthcoming in Computability
  5. Trial and error mathematics: Completions of theories
    (with J. Amidei, U. Andrews, D. Pianigiani, and A. Sorbi)
    forthcoming in Journal of Logic and Computation
  6. Degrees of bi-embeddable categoricity of equivalence structures
    (with N. Bazhenov, E. Fokina, and D. Rossegger)
    forthcoming in Archive for Mathematical Logic
  7. 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, 2016
  8. 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, 2016
  9. Universal computably enumerable equivalence relations
    (with U. Andrews, S. Lempp, J.S. Miller, K.M. Ng, and A. Sorbi)
    Journal of Symbolic Logic, 79, 60-88, 2014

Book chapters and conference papers

  1. Limit learning equivalence structures
    (with E. Fokina and T. Koetzing)
    forthcoming in Proceedings of Algorithmic Learning Theory 2019
  2. At least one black sheep: Pragmatics and the language of mathematics
    (with M. Ruffino and G. Venturi), submitted
  3. Church-Turing thesis, in practice
    in M. Piazza and G. Pulcini (eds), Truth, Existence and Explanation, Boston Studies in the Philosophy of Science, Springer, 225-248, 2018
  4. 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, 2018
  5. Limit learning equivalence structures
    (with E. Fokina and T. Koetzing), submitted
  6. 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
  7. 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
  8. Reducibility and bi-reducibility spectra of equivalence relations
    (with E. Fokina and D. Rossegger)
    Proceedings of the 11th Panhellenic Logic Symposium, 83-89, 2017

Contacts

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