Related papers: Action-type axiomatizable classes of group represe…

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a…

This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode…

In a recent paper, motivated by the study of central extensions of associative algebras, G. Janelidze introduces the notion of weakly action representable category. In this paper, we show that the category of Leibniz algebras is weakly…

We study model theory of actions of finite groups on substructures of a stable structure. We give an abstract description of existentially closed actions as above in terms of invariants and PAC structures. We show that if the corresponding…

This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states. This conditioning uses a key aspect that distinguishes…

Motivated by appearance of multisemigroups in the study of additive $2$-categories, we define and investigate the notion of a multisemigroup with multiplicities. This notion seems to be better suitable for applications in higher…

In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same…

A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…

For a finite abelian group action on a linear category, we study the dual action given by the character group acting on the category of equivariant objects. We prove that the groups of equivariant autoequivalences on these two categories…

We study algebraic actions of finite groups of quiver automorphisms on moduli spaces of quiver representations. We decompose the fixed loci using group cohomology and we give a modular interpretation of each component. As an application, we…

Let $G$ be a matrix group. Topological $G$-manifolds with Palais-proper action have the $G$-homotopy type of countable $G$-CW complexes (3.2). This generalizes E Elfving's dissertation theorem for locally linear $G$-manifolds (1996). Also…

This is the first of a three parts paper providing full details for our previous announcement in Pr\'epublications Orsay 2007-16, arXiv:0711.3579. Here we prove the results stated in the title.

In the first section we discuss Morita invariance of differentiable/algebroid cohomology. In the second section we present an extension of the van Est isomorphism to groupoids. This immediately implies a version of Haefliger's conjecture…

We classify irreducible representations of the special linear groups in positive characteristic with small weight multiplicities with respect to the group rank and give estimates for the maximal weight multiplicities. For the natural…

As the world's democratic institutions are challenged by dissatisfied citizens, political scientists and also computer scientists have proposed and analyzed various (innovative) methods to select representative bodies, a crucial task in…

We construct new classes of self-similar groups : S-aritmetic groups, affine groups and metabelian groups. Most of the soluble ones are finitely presented and of type FP_{n} for appropriate n.

We give a method to construct new self-adjoint representations of the braid group. In particular, we give a family of irreducible self-adjoint representations of dimension arbitrarily large. Moreover we give sufficient conditions for a…

The mapping class group of a compact oriented surface of genus greater than one with boundary acts ergodically on connected components of the representation variety corresponding to a connected compact Lie group, for every choice of…

We propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and…

Several classes of irreducible orthogonal representations of compact Lie groups that are of importance in Differential Geometry have the property that the second osculating spaces of all of their nontrivial orbits coincide with the…