Joni Puljujärvi

About Me

Welcome, weary traveler!

I am Joni Puljujärvi, a scholar of the arcane art of mathematics. My research area is mathematical logic. I am currently in the process of obtaining my PhD from the University of Helsinki (my dissertation is in pre-examination and I am expected to defend during the fall of 2024).

In addition to mathematics, I am interested in theoretical physics, theoretical computer science, and philosophy—in particular, philosophy and foundations of mathematics.

In my free time, I compose music (mainly for my own amusement but sometimes also for various artistic projects of my associates), and write fiction (mainly in my native tongue, Finnish).

Contact Information

• Email: etunimijonipiste.sukunimipuljujarviat@palvelugmailtoinen piste.tldcom
• ORCID: 0000-0001-5017-9211

Research interests

• Strong and non-classical logics
• Application of games in logic
• Model theory of metric structures
• Application of logic in studying phenomena of quantum physics (in particular, quantum computation)
• Model theory of dependence logic and other fragments of second-order logic

Publications

Peer-reviewed

• Joni Puljujärvi & Davide Emilio Quadrellaro
  Compactness in Team Semantics
  Mathematical Logic Quarterly, Volume 70, Issue 2 (2024)
• Åsa Hirvonen & Joni Puljujärvi
  Games and Scott sentences for positive distances between metric structures
  Annals of Pure and Applied Logic, Volume 173, Issue 7 (2022)

Preprints

• Tapani Hyttinen, Joni Puljujärvi & Davide Emilio Quadrellaro
  On Model Theory of Second-Order Objects
  arXiv:2405.03785 (May 2024)
• Samson Abramsky, Joni Puljujärvi & Jouko Väänänen
  Team Semantics and Independence Notions in Quantum Physics
  arXiv:2107.10817 (April 2024)

Teaching experience

Teacher at University of Helsinki

• Academic Skills (MAT20005, 2 cr), 2020–2021 & 2021–2022

Teaching Assistant at University of Helsinki

• Introduction to Logic I (MAT21014, 5 cr), spring 2016, fall 2018, fall 2022 and fall 2023
• Introduction to Logic II (MAT21015, 5 cr), spring 2016 and fall 2018
• Algebraic structures I & II (MAT21010 & MAT21011, 5 cr + 5 cr), spring 2018
• Linear algebra and matrices I (MAT11002, 5 cr), fall 2016 and fall 2017
• Linear algebra and matrices II (MAT21001, 5 cr), fall 2016, fall 2017 and spring 2023
• Measure and Integral (MAT21007, 5 cr), spring 2017
• Proseminar of mathematics (MAT21004, 2 cr), spring 2024

• Mathematical logic (MAST31201, 10 cr), spring 2020