Papers
- Generalized quantifiers in dependence logic. To appear in Journal of Logic, Language and Information [pdf]
- Transplendent models: Expansions omitting a type (with Richard W. Kaye) To appear in Notre Dame Journal of Formal logic [pdf]
- Non-isomorphism invariant Borel quantifiers (with Philipp Schlicht) Proc. of the AMS vol 139, No 12. [pdf] (Preprint version)
- A note on standard systems and ultrafilters (published in Journal of Symbolic Logic, vol 73, no 3, pages 824-830) [pdf]
- Doctoral thesis: Expansions, omitting types, and standard systems [pdf]
- Licentiate thesis: Satisfaction classes in nonstandard models of first-order arithmetic [pdf]
Presentations
- Branching quantifiers, compositionally (Logic seminar Helsinki, 2012-01-11) [pdf]
- Logical constants as uniquely definable quantifiers (Logic seminar Göteborg, 2011-09-30) [pdf]
- Dependence in logic (ESSLLI, Ljubljana, 2011-08-07) [pdf]
- Dependence in Logic (Filosofidagarna, Göteborg, 2011-06-12) [pdf]
- Multivalued dependencies and generalized quantifiers (LINT Workshop, Oxford, 2011-04-03) [pdf]
- Generalized quantifiers in dependence logic (Logikseminariet, Göteborg, 2011-02-04) [pdf]
- Non permutation invariant Borel quantifiers ( Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition, Guangzhou, China, 2010-12-05) [pdf]
- Classification problems and models of arithmetic (Logikseminariet, Göteborg, 2010-10-08) [pdf]
- Borel Quantifiers (Logikseminariet, Göteborg, 2010-05-01) [pdf]
- Dependence and logicality (Logic and Language Technology seminar, Göteborg, 2010-04-16) [pdf]
- Logical constants: Invariance and definability (Institut Mittag-Leffler, Djursholm, 2009-10-22) [pdf]
- Generalized quantifiers in dependence logic (Logikseminariet, Göteborg, 2009-03-27) [pdf]
- Is dependence logical? (Amsterdam, 2008-12-06) [pdf]
- Spel och tal (Mittuniversitetet, Sundsvall, 2007-11-01) [pdf]
- Transplendent models: Omitting types in expansions (Models and interpretations, Utrecht, 2007-04-04) [pdf]
- Världens största tal (Filosofiska föreningen, Göteborg, 2007-03-21) [pdf]
- Ickestandardanalys - ett didaktiskt knep? (Matematikbiennalen 2006, Malmö, 2006-01-27) [pdf]
- Expansions omitting a type (New York City Logic Conference, New York, 2005-05-21) [pdf]
- Variations on replendency and recursive saturation (New York Graduate Student Logic Conference, New York, 2004-10-20) [pdf]
- Notions of resplendency for logics stronger than first-order logic (Logic Colloquium 2004, Torino, 2004-07-27) [pdf]
- A notion of recursive saturation for models of arithmetic with the standard predicate (M.ARI.AN. 2004, Pisa, 2004-06-25) [pdf]
- Omitting types in expansions and related strong saturation properties (Logic Colloquium 2003, Helsinki, 2003-08-15) [pdf]
- Satisfaction classes in nonstandard models of first-order arithmetic (Licentiate Seminar in Chalmers, Göteborg, 2002-09-24) [pdf]
- Resplendency and omitting types (British Logic Colloquium 2002 in Birmingham, 2002-09-13) [pdf]
- Satisfaction classes or How to define truth in a non-standard world (Logic seminar at the philosophy department, 2001-11-06) [pdf]
Other stuff
- A small english-swedish mathematical dictionary (originally by Anders Vretblad, Uppsala) [pdf]