23,679 research outputs found
Scalar and Vectorial mu-calculus with Atoms
We study an extension of modal -calculus to sets with atoms and we study
its basic properties. Model checking is decidable on orbit-finite structures,
and a correspondence to parity games holds. On the other hand, satisfiability
becomes undecidable. We also show expressive limitations of atom-enriched
-calculi, and explain how their expressive power depends on the structure
of atoms used, and on the choice between basic or vectorial syntax
On The Relational Width of First-Order Expansions of Finitely Bounded Homogeneous Binary Cores with Bounded Strict Width
The relational width of a finite structure, if bounded, is always (1,1) or
(2,3). In this paper we study the relational width of first-order expansions of
finitely bounded homogeneous binary cores where binary cores are structures
with equality and some anti-reflexive binary relations such that for any two
different elements a, b in the domain there is exactly one binary relation R
with (a, b) in R.
Our main result is that first-order expansions of liberal finitely bounded
homogeneous binary cores with bounded strict width have relational width (2,
MaxBound) where MaxBound is the size of the largest forbidden substructure, but
is not less than 3, and liberal stands for structures that do not forbid
certain finite structures of small size. This result is built on a new approach
and concerns a broad class of structures including reducts of homogeneous
digraphs for which the CSP complexity classification has not yet been obtained.Comment: A long version of an extended abstract that appeared in LICS 202
Bayesian games with a continuum of states
We show that every Bayesian game with purely atomic
types has a measurable Bayesian equilibrium when the common knowl-
edge relation is smooth. Conversely, for any common knowledge rela-
tion that is not smooth, there exists a type space that yields this common
knowledge relation and payoffs such that the resulting Bayesian game
will not have any Bayesian equilibrium. We show that our smoothness
condition also rules out two paradoxes involving Bayesian games with
a continuum of types: the impossibility of having a common prior on
components when a common prior over the entire state space exists, and
the possibility of interim betting/trade even when no such trade can be
supported
ex ante
The braided Ptolemy-Thompson group is finitely presented
Pursueing our investigations on the relations between Thompson groups and
mapping class groups, we introduce the group (and its further
generalizations) which is an extension of the Ptolemy-Thompson group by
means of the full braid group on infinitely many strands. We prove
that it is a finitely presented group with solvable word problem, and give an
explicit presentation of it.Comment: 35
- …