• Monographs
    1. Contributions to the Metamathematics of Arithmetic, vol. 30 of Acta Philosophica Gothoburgensia. Gothenburg: Acta Universitatis Gothoburgensis, 2017, 107 pp. [link]
    2. Metamathematical fixed points, Philosophical Communications, Red Series, Gothenburg: University of Gothenburg, 2011, 72 pp. [link]
  • Edited volumes
    1. Probabilistic Approaches to Linguistic Theory [with J.-P. Bernardy, S. Chatzikyriakidis, S. Lappin, and A. Maskharashvili (eds.)], Stanford: CSLI Publications. Forthcoming.
  • Peer-reviewed journal articles
    1. Never trust an unsound theory [with C. Bennet], Theoria 88(5):1053–1056, 2022. [link]
    2. Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic, The Review of Symbolic Logic 14(3):624–644, 2021. [link]
    3. Marginalia on a theorem of Woodin [with A. Enayat], The Journal of Symbolic Logic 82(1):359–374, 2017. [link]
  • Peer-reviewed book chapters
    1. Bayesian inference semantics for natural language [with J.-P. Bernardy, S. Chatzikyriakidis, S. Lappin, and A. Maskharashvili], Probabilistic Approaches to Linguistic Theory (J.-P. Bernardy, R. Blanck, S. Chatzikyriakidis, S. Lappin, and A. Maskharashvili, eds.), Stanford: CSLI publications. Forthcoming.
    2. From tree adjoining grammars to higher order representations of abstract meaning representations via abstract categorial grammars [with A. Maskharashvili], Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), Studies in Computational Intelligence 860, pp. 67–93, Berlin Heidelberg: Springer-Verlag, 2020. [link]
    3. Flexibility in fragments of Peano arithmetic, Studies in Weak Arithmetics, Vol. 3, no. 217 in CSLI Lecture Notes, pp. 1–20, Stanford: CSLI Publications, 2016.
  • Peer-reviewed conference contributions
    1. Predicates as Boxes in Bayesian Semantics for Natural Language [with J.-P. Bernardy, S. Chatzikyriakidis, S. Lappin, and A. Maskharashvili], Proceedings of The 22nd Nordic Conference on Computational Linguistics (NoDaLiDa 2019), pp. 333–337, Linköping: Linköping University Electronic Press, 2019. [link]
    2. Bayesian inference semantics: a modelling system and a test suite [with J.-P. Bernardy, S. Chatzikyriakidis, S. Lappin, and A. Maskharashvili], Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM), pp. 263–272, Stroudsburg, PA: Association for Computational Linguistics, 2019. [link]
    3. From TAG to HOL representations of AMRs via ACGs [with A. Maskharashvili], Proceedings of the Symposium on Logic and Algorithms in Computational Linguistics 2018, pp. 23–33, Stockholm University, 2018. [link]
    4. A compositional Bayesian semantics for natural language [with J.-P. Bernardy, S. Chatzikyriakidis, and S. Lappin], Proceedings of the First International Workshop on Language Cognition and Computational Models, pp. 1–10, Stroudsburg, PA: Association for Computational Linguistics, 2018. [link]
  • Other journal articles
    1. A logic with measurable spaces for natural language semantics [with J.-P. Bernardy and A. Maskharashvili], Applied Mathematics, Informatics And Mechanics 25(2):31–44, 2020.
  • Other book chapters
    1. Two consequences of Kripke’s lemma, Idées fixes. A festschrift dedicated to Christian Bennet on the occasion of his 60th birthday, no. 61 in Philosophical Communications, Web series, pp. 45–53, Gothenburg: University of Gothenburg, 2014. [link]
  • Other publications (peer-reviewed abstracts, etc)
    1. A Logic with Measurable Spaces for Natural Language Semantics [with J.-P. Bernardy and A. Maskharashvili], TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia, 2019. [link]
    2. Flexible formulae and partial conservativity, Logic Colloquium 2015, Helsinki, Finland.
    3. Sets of fixed points, Sino-European Winter School in Logic, Language and Computation, Sun Yat-Sen University, Guangzhou, China, 2010.
  • Other talks
    1. Never trust an unsound theory, Logic seminar, University of Gothenburg, 6 May 2022. [slides]
    2. Incompleteness results for arithmetically definable extensions of strong fragments of PA, Models of Peano Arithmetic seminar, CUNY Graduate Center, 15 November 2021 (online).
    3. Interpretability and flexible formulas, Logic seminar, University of Gothenburg, 18 December 2020 (online).
    4. Löb’s theorem, Colloquium in Logic, University of Gothenburg, 28 March 2019. [handout]
    5. A Compositional Bayesian Semantics for Natural Language, CLASP research profile seminar, University of Gothenburg, 3 October 2018. [slides]
    6. Hierarchical incompleteness and arithmetically definable fragments of arithmetic, Logic seminar, University of Gothenburg, 8 February 2018.
    7. Rough Sets and Degree Modifiers, CLASP research profile seminar, University of Gothenburg, 13 December 2017. [slides]
    8. A characterisation of Π₁-conservativity over IΣ₁, Journées sur les Arithmétiques Faibles 35, 6–7 June, Lisbon, Portugal, 2016.
    9. Illusory models of Peano arithmetic, Logic seminar, University of Gothenburg, 11 November 2015.
    10. Flexibility and Π₁-conservativity, Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April, Bristol, UK, 2015.
    11. Flexible formulae of arithmetic, Journées sur les Arithmétiques Faibles 33, 16–18 June, Gothenburg, Sweden. 2014.
    12. Formulae expressing the same property, Logic seminar, University of Gothenburg, 21 March 2014.
    13. Flexible formulae in arithmetic, Logic seminar, University of Gothenburg, 29 November 2013.
    14. Fixpunktsmängder (in Swedish), Filosofidagarna 2011, Gothenburg, Sweden.
    15. Some remarks on Reverse Mathematics as a partial realization of Hilbert’s program, Logic seminar, University of Gothenburg, 25 September 2009.
    16. Non-standard proofs, a survey, Logic seminar, University of Gothenburg, 3 November 2008.
    17. On Rosser sentences and proof predicates, Logic seminar, University of Gothenburg, 1 September 2006.
    18. Fixed points and equivalence of Rosser sentences, Logic seminar, University of Gothenburg, 2 December 2005.