I'm a researcher in logic at the department of philosophy, linguistics and theory of science of the University of Gothenburg.
I did my PhD in Mathematics at the University of Birmingham and Chalmers University of Technology in 2004 with a thesis on mathematical logic and models of Peano's arithmetic, under supervision of Richard W. Kaye. After which I worked as an associate professor at the Mid Sweden University in Sundsvall before starting at the University of Gothenburg in 2006.
Papers
 Implicitly definable generalized quantifiers In Idées Fixes. A Festschrift Dedicated to Chistian Bennet on the Occasion of His 60th Birtday [pdf]
 Invariance and Definability, with and without equality (with D. Bonnay) Submitted. [pdf]
 Generating Comprehensible Explanations in Description (with A. R. Nizamani and C. Strannegård) 27th International Workshop on Description Logics. Vienna, Austria, July 1720, 2014, Vol1193 s. 530542. [pdf]
 Symbolic Reasoning with Bounded Cognitive Resources (with A. R. Nizamani and C. Strannegård and O. Häggström) 36th Annual Conference of the Cognitive Science Society [pdf]
 Dependence logic with Generalized quantifiers: Axiomatizations (with J. Kontinen and J. Väänänen) In proceedings of WoLLIC 2013. doi:10.1007/9783642399923_14 [pdf] [Proceedings version]
 Bounded Kolmogorov Complexity Based on Cognitive Models (with C. Strannegård, A. R. Nizamani, A. Sjöberg) In proceedings of AGI, 2013. doi:10.1007/9783642395215_14i [pdf]
 Reasoning about truth in firstorder logic (with C. Strannegård, A. R. Nizamani, and L. Rips) Journal of Logic, Language and Information, Volume 22, Issue 1, pp 115137, 2013. doi:10.1007/s108490129168y [pdf]
 Characterizing quantifier extensions of dependence logic (with J. Kontinen) Journal of Symbolic Logic vol 78, no 1, pp. 307316, 2013. doi:10.2178/jsl.7801210 [pdf]
 Generalized quantifiers in dependence logic. Journal of Logic, Language and Information vol 21, pp. 299324, 2012. doi:10.1007/s1084901291624 [pdf]
 Transplendent models: Expansions omitting a type (with Richard W. Kaye) Notre Dame Journal of Formal logic, vol. 53, no 3, pp. 423438, 2012. doi:10.1215/002945271716739 [pdf]
 Nonisomorphism invariant Borel quantifiers (with Philipp Schlicht) Proc. of the AMS vol 139, no 12. doi:10.1090/S000299392011108499 [pdf]
 A note on standard systems and ultrafilters. Journal of Symbolic Logic, vol 73, no 3, pages 824830 doi:10.2178/jsl/1230396749 [pdf]
 Doctoral thesis: Expansions, omitting types, and standard systems [pdf]
 Licentiate thesis: Satisfaction classes in nonstandard models of firstorder arithmetic [pdf]
Projects
 Project leader of the project Dependence in formal and natural languages sponsored by the Swedish research council.
 Member of the project Logic for INTeraction, sponspored by the Swedish research council and the European Science Foundation.
 Member of the project Logical reasoning with bounded cognitive resources sponsored by the department and the Swedish research council.
Presentations
 Description logics and explanations (Human reasoning seminar in Gothenburg, 20131108) [html]
 Dependence and Axiomatizations (Logic seminar in Gothenburg, 20130927) [pdf]
 Dependence logic with Generalized quantifiers: Axiomatizations (WoLLIC, Darmstadt, 20130821) [pdf]
 On logic and dependence (Swedish Congress of Philosophy, Stockholm, 20130616) [pdf]
 On logicality, invariance, and definability (Intensionality in Mathematics, Lund, 20130512) [pdf]
 Models of arithmetic, standardness and expansions (Helsinki logic seminar, 20130306) [pdf]
 On Logicality (GothenburgOslo Workshop on Philosophical Logic, Oslo, 20121201) [pdf]
 On logicality, invariance and definability (Logic seminar in Gothenburg, 20121116)
 What is logic? On logicality, invariance and definability (Uppsala Logic Seminar, 20121115)
 Invariance and definability, with or without equality (Scandinavian Logic Symposium 2012, Roskilde, 20120820) [pdf]
 Dependence logic with generalized quantifiers (Logic Colloquium 2012, Manchester) [pdf]
 Branching quantifiers, compositionally (Logic seminar Helsinki, 20120111) [pdf]
 Logical constants as uniquely definable quantifiers (Logic seminar Göteborg, 20110930) [pdf]
 Dependence in logic (ESSLLI, Ljubljana, 20110807) [pdf]
 Dependence in Logic (Filosofidagarna, Göteborg, 20110612) [pdf]
 Multivalued dependencies and generalized quantifiers (LINT Workshop, Oxford, 20110403) [pdf]
 Generalized quantifiers in dependence logic (Logikseminariet, Göteborg, 20110204) [pdf]
 Non permutation invariant Borel quantifiers ( Workshop on Logic, Language and Computation & The 9th International Conference on Logic and Cognition, Guangzhou, China, 20101205) [pdf]
 Classification problems and models of arithmetic (Logikseminariet, Göteborg, 20101008) [pdf]
 Borel Quantifiers (Logikseminariet, Göteborg, 20100501) [pdf]
 Dependence and logicality (Logic and Language Technology seminar, Göteborg, 20100416) [pdf]
 Logical constants: Invariance and definability (Institut MittagLeffler, Djursholm, 20091022) [pdf]
 Generalized quantiﬁers in dependence logic (Logikseminariet, Göteborg, 20090327) [pdf]
 Is dependence logical? (Amsterdam, 20081206) [pdf]
 Spel och tal (Mittuniversitetet, Sundsvall, 20071101) [pdf]
 Transplendent models: Omitting types in expansions (Models and interpretations, Utrecht, 20070404) [pdf]
 Världens största tal (Filosofiska föreningen, Göteborg, 20070321) [pdf]
 Ickestandardanalys  ett didaktiskt knep? (Matematikbiennalen 2006, Malmö, 20060127) [pdf]
 Expansions omitting a type (New York City Logic Conference, New York, 20050521) [pdf]
 Variations on replendency and recursive saturation (New York Graduate Student Logic Conference, New York, 20041020) [pdf]
 Notions of resplendency for logics stronger than firstorder logic (Logic Colloquium 2004, Torino, 20040727) [pdf]
 A notion of recursive saturation for models of arithmetic with the standard predicate (M.ARI.AN. 2004, Pisa, 20040625) [pdf]
 Omitting types in expansions and related strong saturation properties (Logic Colloquium 2003, Helsinki, 20030815) [pdf]
 Satisfaction classes in nonstandard models of firstorder arithmetic (Licentiate Seminar in Chalmers, Göteborg, 20020924) [pdf]
 Resplendency and omitting types (British Logic Colloquium 2002 in Birmingham, 20020913) [pdf]
 Satisfaction classes or How to define truth in a nonstandard world (Logic seminar at the philosophy department, 20011106) [pdf]
Other stuff
 A small englishswedish mathematical dictionary (originally by Anders Vretblad, Uppsala) [pdf]
Links
 Logic at GU
 My offical homepage at GU
 Department of Philosophy, Linguistics and Theory of Science
 I on Google Scholar.
 My page at Academia.edu.
 My page at ResearchGate.
 I in GUP (Göteborgs Universitets Publikationer).
 I on arXiv.org.
Contact details
 My office is in the newly built annex between Olof Wijksgatan 6 and the University main library.
 Call me at +4631786 6335 or +46730496178 (private cell phone)

Department of Philosophy, Linguistics and Theory of Science University of Gothenburg Box 200 405 30 Göteborg Sweden  Send email to fredrik dot engstrom at gu dot se.