Fredrik Engström

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The propositional logic of teams	2023-03-24	Paper
Invariance and definability, with and without equality Notre Dame Journal of Formal Logic	2018-03-08	Paper
Invariance and definability, with and without equality Notre Dame Journal of Formal Logic	2018-03-08	Paper
Dependence logic with generalized quantifiers: axiomatizations Journal of Computer and System Sciences	2017-06-30	Paper
Generalized quantifiers in dependence logic Journal of Logic, Language and Information	2015-02-09	Paper
Reasoning about truth in first-order logic Journal of Logic, Language and Information	2015-02-09	Paper
Implicitly definable generalized quantifiers	2014-10-14	Paper
Dependence logic with generalized quantifiers: axiomatizations Logic, Language, Information, and Computation	2013-09-17	Paper
Dependence logic with generalized quantifiers: axiomatizations Logic, Language, Information, and Computation	2013-09-17	Paper
Characterizing quantifier extensions of dependence logic Journal of Symbolic Logic	2013-04-23	Paper
Characterizing quantifier extensions of dependence logic Journal of Symbolic Logic	2013-04-23	Paper
Transplendent models: expansions omitting a type Notre Dame Journal of Formal Logic	2012-11-23	Paper
Non-isomorphism invariant Borel quantifiers Proceedings of the American Mathematical Society	2011-12-13	Paper
Non-permutation invariant Borel quantifiers	2010-03-12	Paper
A note on standard systems and ultrafilters Journal of Symbolic Logic	2009-03-23	Paper
Expansions, omitting types, and standard systems	2004-10-25	Paper
Satisfaction classes in nonstandard models of first-order arithmetic	2002-09-30	Paper
Generalized quantifiers using team semantics (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Fredrik Engström