Contributions to the Metamathematics of Arithmetic,
vol. 30 of Acta Philosophica Gothoburgensia. Gothenburg: Acta Universitatis Gothoburgensis, 2017, 107 pp. [link]
Metamathematical fixed points, Philosophical Communications, Red Series, Gothenburg: University of Gothenburg, 2011, 72 pp. [link]
Peer-reviewed journal articles
Marginalia on a theorem of Woodin [with A. Enayat], The Journal of Symbolic Logic 82(1):359–374, 2017. [link]
Peer-reviewed book chapters
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]
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
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]
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]
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]
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 book chapters
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)
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]
Flexible formulae and partial conservativity, Logic Colloquium 2015, Helsinki, Finland.
Sets of fixed points, Sino-European Winter School in Logic, Language and Computation, Sun Yat-Sen University, Guangzhou, China, 2010.
Löb’s theorem, Colloquium in Logic, University of Gothenburg, 28 March 2019. [handout]
A Compositional Bayesian Semantics for Natural Language, CLASP research
profile seminar, University of Gothenburg, 3 October 2018. [slides]
Hierarchical incompleteness and arithmetically definable fragments of arithmetic, Logic seminar, University of Gothenburg, 8 February 2018.
Rough Sets and Degree Modifiers, CLASP research profile seminar, University
of Gothenburg, 13 December 2017. [slides]
A characterisation of Π₁-conservativity over IΣ₁, Journées sur les Arithmétiques
Faibles 35, 6–7 June, Lisbon, Portugal, 2016.
Illusory models of Peano arithmetic, Logic seminar, University of Gothenburg,
11 November 2015.
Flexibility and Π₁-conservativity, Bristol-Gothenburg-Oxford Logic and Set Theory Postgraduate Student Day, 22 April, Bristol, UK, 2015.
Flexible formulae of arithmetic, Journées sur les Arithmétiques Faibles 33, 16–18
June, Gothenburg, Sweden. 2014.
Formulae expressing the same property, Logic seminar, University of Gothenburg, 21 March 2014.
Flexible formulae in arithmetic, Logic seminar, University of Gothenburg, 29
Fixpunktsmängder (in Swedish), Filosofidagarna 2011, Gothenburg, Sweden.
Some remarks on Reverse Mathematics as a partial realization of Hilbert’s program, Logic seminar, University of Gothenburg, 25 September 2009.
Non-standard proofs, a survey, Logic seminar, University of Gothenburg, 3
On Rosser sentences and proof predicates, Logic seminar, University of Gothenburg, 1 September 2006.
Fixed points and equivalence of Rosser sentences, Logic seminar, University of
Gothenburg, 2 December 2005.