- Göteborgs universitet
- Humanistiska fakulteten
- Institutionen för filosofi, lingvistik och vetenskapsteori
- Om institutionen
- Personal
- Fredrik Engström
Fredrik Engström
Forskarassistent, Logik
Allmänt
Forskarassistent i logik sedan 2006. Disputerade i matematik 2004 på en avhandling i matematisk logik. Jobbade efter disputationen som universitetslektor i matematik på Mittuniversitetet i Sundsvall.
Forskning
Min avhandling handlade om modeller till första ordningens aritmetik och olika försök att karakterisera dessa. De senare åren har jag intresserat mig för generaliserade kvantorer och "dependence logic."
Postdoc i Logic for INTeraction-projektet, finansierad av vetenskapsrådet.
Leder projektet Beroenden i formella och naturliga språk som finansieras av vetenskapsrådet.
Undervisning
Främst handledning av uppsatser och avhandlingar, men även en del avancerade kurser i logik.
Se också min andra hemsida.
Publikationer
2012
- Fredrik Engström (2012).
Branching quantifiers, compositionally , GUP 155371
- Fredrik Engström; Juha Kontinen (2012).
Characterizing quantifier extensions of Dependence logic , GUP 155372
2011
- Fredrik Engström (2011).
Dependence in Logic , GUP 144315
- Fredrik Engström (2011).
Dependence in Logic , GUP 141899
- Fredrik Engström (2011).
Multivalued dependencies and generalized quantifiers , GUP 141898
- Fredrik Engström; Philipp Schlicht (2011).
Non-isomorphism invariant Borel quantifiers 0002-9939, GUP 146123
2010
- Fredrik Engström (2010).
Borel Quantifiers , GUP 131708
- Fredrik Engström (2010).
Classification problems and models of arithmetic , GUP 131707
- Fredrik Engström; Philipp Schlicht (2010).
Non-Permutation Invariant Borel Quantifiers , GUP 131704
- Fredrik Engström; Philipp Schlicht (2010).
Non-permutation invariant Borel quantifiers 1103-467X, GUP 118125
2009
- Fredrik Engström (2009).
Logical constants and invariance , GUP 105448
2008
- Fredrik Engström (2008).
A note on standard systems and ultrafilters 0022-4812, GUP 74141
- Fredrik Engström (2008).
Is dependence logical? , GUP 92438
2007
- Fredrik Engström (2007).
Spel och tal , GUP 65825
- Fredrik Engström (2007).
Transplendent models: Omitting types in expansions , GUP 92437
- Fredrik Engström (2007).
Transplendent models: Omitting types in expansions , GUP 65833
2006
- Fredrik Engström (2006).
Ickestandardanalys - ett didaktiskt knep? , GUP 92436
2005
- Fredrik Engström (2005).
Expansions omitting a type , GUP 92435
2004
- Fredrik Engström (2004).
A notion of recursive saturation for models of arithmetic with the standard predicate , GUP 92430
- Fredrik Engström (2004).
Expansions, omitting types, and standard systems , GUP 4269
- Fredrik Engström (2004).
Notions of resplendency for logics stronger than first-order logic 10798986, GUP 92431
- Fredrik Engström (2004).
Variations on replendency and recursive saturation , GUP 92433
2003
- Fredrik Engström (2003).
Omitting types in expansions and related strong saturation properties 10798986, GUP 92429
2002
- Fredrik Engström (2002).
Resplendency and omitting types , GUP 92427
- Fredrik Engström (2002).
Satisfaction classes in nonstandard models of first-order arithmetic , GUP 93870
Kontaktinformation
Fredrik Engström
Box 200, 405 30 GÖTEBORG
Telefon:
031-786 6335
Fax:
031-786 4853