#### Filter Results:

- Full text PDF available (13)

#### Publication Year

2002

2014

- This year (0)
- Last 5 years (9)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Fredrik Engström
- Journal of Logic, Language and Information
- 2012

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics using the Hodges semantics, e.g., IF-logic and dependence logic. For this we introduce the multivalued dependence atom and observe the similarities with the, by Väänänen and Grädel, newly introduced independence atom.

A satisfaction class is a set of nonstandard sentences respecting Tarski’s truth definition. We are mainly interested in full satisfaction classes, i.e., satisfaction classes which decides all nonstandard sentences. Kotlarski, Krajewski and Lachlan proved in 1981 that a countable model of PA admits a satisfaction class if and only if it is recursively… (More)

- Fan Yang, Jouko Väänänen, +11 authors Heribert Vollmer
- 2014

Dependence logic is a new logic which incorporates the notion of “dependence”, as well as “independence” between variables into first-order logic. In this thesis, we study extensions and variants of dependence logic on the first-order, propositional and modal level. In particular, the role of intuitionistic connectives in this setting is emphasized. We… (More)

- Fredrik Engström, Juha Kontinen
- J. Symb. Log.
- 2013

We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.

Computable versions of Kolmogorov complexity have been used in the context of pattern discovery [1]. However, these complexity measures do not take the psychological dimension of pattern discovery into account. We propose a method for pattern discovery based on a version of Kolmogorov complexity where computations are restricted to a cognitive model with… (More)

- Claes Strannegård, Fredrik Engström, Abdul Rahim Nizamani, Lance J. Rips
- Journal of Logic, Language and Information
- 2013

- Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
- J. Comput. Syst. Sci.
- 2013

We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as “there exists uncountable many.” Both of the… (More)

- Fredrik Engström
- J. Symb. Log.
- 2008

Let (M,X ) |= ACA0 be such that PX , the collection of all unbounded sets in X , admits a definable complete ultrafilter and let T be a theory extending first order arithmetic coded in X such that M thinks T is consistent. We prove that there is an end-extension N |= T of M such that the subsets of M coded in N are precisely those in X . As a special case… (More)

Every isomorphism invariant Borel subset of the space of structures on the natural numbers in a countable relational language is definable in Lω1ω by a theorem of Lopez-Escobar. We derive variants of this result for stabilizer subgroups of the symmetric group Sym(N) for families of relations and non-isomorphism invariant generalized quantifiers on the… (More)

Recursive saturation and resplendence are two important notions in models of arithmetic. Kaye, Kossak, and Kotlarski introduced the notion of arithmetic saturation and argued that recursive saturation might not be as rigid as first assumed. In this thesis we give further examples of variations of recursive saturation, all of which are connected with… (More)