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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fredrik Engström