Learn More
The concept of a generalized quantiier of a given similarity type was deened in Lin66]. Our main result says that on nite structures diierent similarity types give rise to diierent classes of generalized quantiiers. More exactly, for every similarity type t there is a generalized quantiier of type t which is not deenable in the extension of rst order logic(More)
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker versions of the widely-studied port-numbering model. In the port-numbering model, a node of degree <i>d</i> receives messages through <i>d</i> input ports and it sends messages(More)
We introduce a new framework for classifying logics on finite structures and studying their expressive power. This framework is based on the concept of almost everywhere equivalence of logics, that is to say, two logics having the same expressive power on a class of asymptotic measure 1. More precisely, if L, L 0 are two logics and is an asymptotic measure(More)
We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with intu-itionistic disjunction. Furthermore, we show that the expressive power of modal logic with intuitionistic(More)
We consider logical deenability of the group-theoretic notions of simplicity, nilpotency and solvability on the class of nite groups. On one hand, we show that these notions are deenable by sentences of deterministic transitive closure logic DTC. These results are based on known group-theoretic results. On the other hand, we prove that simplicity,(More)
A combinatorial criterium is given when a monadic quantiier is expressible by means of universe-independent monadic quantiiers of width n. It is proved that the corresponding hierarchy does not collapse. As an application, it is shown that the second resumption (or vectorization) of the HH artig quantiier is not deenable by monadic quantiiers. The(More)
  • Kerkko Luosto
  • 2004
Linear orders are of inherent interest infinite model theory, especially in descriptive complexity theory. Here, the class of ordered structures is approached from a novel point of view, using generalized quantifiers as a means of analysis. The main technical result is a characterization of the cardinality quantifiers which can express equicardinality on(More)
This paper is a survery on the technique to prove logics non-finitely generated originated in [H] and later used in [HL] and [HK]. The basic idea is that many (n + 1)-ary quantifiers Q are non-redundant in the sense that if Q is a set of n-ary quantifiers, then Q is not definable in L ωω (Q) (or even in L ∞ω (Q)). Here, quantifier Q is n-ary, if ar(Q) ≤ n(More)