Fredrik Engström

Available identifiers

zbMath Open engstrom.fredrikMaRDI QIDQ1704086

List of research outcomes

Publication	Date of Publication	Type
The propositional logic of teams	2023-03-24	Paper
Invariance and definability, with and without equality	2018-03-08	Paper
Dependence logic with generalized quantifiers: axiomatizations	2017-06-30	Paper
Generalized quantifiers in dependence logic	2015-02-09	Paper
Reasoning about truth in first-order logic	2015-02-09	Paper
Implicitly definable generalized quantifiers	2014-10-14	Paper
Dependence Logic with Generalized Quantifiers: Axiomatizations	2013-09-17	Paper
Characterizing quantifier extensions of dependence logic	2013-04-23	Paper
Transplendent models: expansions omitting a type	2012-11-23	Paper
Non-isomorphism invariant Borel quantifiers	2011-12-13	Paper
Non-permutation invariant Borel quantifiers	2010-03-12	Paper
A note on standard systems and ultrafilters	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	N/A	Paper

Research outcomes over time

This page was built for person: Fredrik Engström