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. Computable bi-embeddable categoricity
    (with N. Bazhenov, E. Fokina, and D. Rossegger), submitted
  2. Measuring the complexity of reductions between equivalence relations
    (with E. Fokina and D. Rossegger), submitted
  3. Trial and error mathematics: Completions of theories
    (with J. Amidei, U. Andrews, D. Pianigiani, and A. Sorbi), submitted
  4. At least one black sheep: Pragmatics and the language of mathematics
    (with M. Ruffino and G. Venturi), submitted
  5. Degrees of bi-embeddable categoricity of equivalence structures
    (with N. Bazhenov, E. Fokina, and D. Rossegger), submitted
  6. 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
  7. 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
  8. 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

Book chapters

  1. Church-Turing thesis, in practice
    forthcoming
    M. Piazza and G. Pulcini (eds), Truth, Existence and Explanation, Boston Studies in the Philosophy of Science, Springer
  2. Direzioni della logica in Italia: la teoria (classica) della ricorsività
    (with P. Cintioli and A. Sorbi), forthcoming
    H. Hosni, G. Lolli, C. Toffalori (eds.), Direzioni della logica in Italia, Edizioni della Normale
  3. 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

Conference papers

  1. 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
  2. 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
  3. Reducibility and bi-reducibility spectra of equivalence relations
    (with E. Fokina and D. Rossegger)
    Proceedings of the 11th Panhellenic Logic Symposium, 83-89, 2017

In preparation

  1. Bi-embeddability spectra that do not collapse to isomorphism spectra
    (with E. Fokina and D. Rossegger)
  2. Speech acts in mathematics
    (with M. Ruffino and G. Venturi)
  3. Learning equivalence structures
    (with E. Fokina and T. Koetzing)
  4. Equivalence relations in the Ershov hierarchy
    (with N. Bazhenov, M. Manat, M. Yamaleev, and A. Sorbi)

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