Davide Emilio Quadrellaro

Logo

Department of Mathematics,
University of Torino.
Via Carlo Alberto 10,
10123 Torino, Italy.

davide[dot]quadrellaro[at]gmail[dot]com


Hi! I am a mathematical logician, currently working as a postdoc at the Turin Logic Group with a scholarship from the Italian Institute of High Mathematics. Beforehand, I obtained a PhD in Mathematics from the University of Helsinki, under the main supervision of Fan Yang.

My main research interest is in model theory, and in its applications to (incidence) geometry and (universal) algebra. My recent preprints are available in arXiv and my published work is generally listed in zbMath. My Orcid ID is 0000-0002-3750-3627.

Preprints

List of Publications

  1. On Model Theory of Second-Order Objects (with T. Hyttinen and J. Puljujärvi), To appear in Annals of Pure and Applied Logic.
  2. Strictly n-finite varieties of Heyting algebras (with T. Hyttinen, M. Martins, T. Moraschini), The Journal of Symbolic Logic, 2024.
  3. Compactness in Team Semantics (with J. Puljujärvi), Mathematical Logic Quarterly, 70(142-161), 2024.
  4. Esakia Duals of Regular Heyting Algebras (with G. Grilletti), Algebra Universalis, 85(5), 2024.
  5. On Intermediate Inquisitive and Dependence Logics: An Algebraic Study, Annals of Pure and Applied Logic, 173 (10), 2022.
  6. An Algebraic Approach to Inquisitive and DNA-Logics (with N. Bezhanishvili, G. Grilletti), The Review of Symbolic Logic, 15(4), 2022. (Helda preprint)
  7. Lattices of Intermediate Theories via Ruitenburg’s Theorem (with G. Grilletti), In: Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. TbiLLC 2019. Lecture Notes in Computer Science, vol 13206, Springer, Cham, 2022. (arXiv preprint)

Thesis and Student Papers

  1. Algebraic and Model-Theoretic Motifs in Team Semantics. PhD Thesis, University of Helsinki, 2023.
  2. Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic. MSc Thesis, University of Amsterdam, 2019. (Awarded AILA’s Best Thesis in Logic Prize in 2020)
  3. Epistemic Logic and the Problem of Epistemic Closure. Rivista Italiana di Filosofia Analitica Junior, 7.2, 2016.
  4. Frege e Husserl: un confronto fra due teorie del significato. Rivista Italiana di Filosofia Analitica Junior, 7.1, 2016.