Related papers: Actions of metric groups and continuous logic
In this article, we define amorphic complexity for actions of locally compact $\sigma$-compact amenable groups on compact metric spaces. Amorphic complexity, originally introduced for $\mathbb Z$-actions, is a topological invariant which…
We study actions by lattices in higher-rank (semi)simple Lie groups on compact manifolds. By classifying certain measures invariant under a related higher-rank abelian action (the diagonal action on the suspension space) we deduce a number…
We survey rigidity results for groups acting on the circle in various settings, from local to global and $C^0$ to smooth. Our primary focus is on actions of surface groups, with the aim of introducing the reader to recent developments and…
We consider expansive group actions on a compact metric space containing a special fixed point denoted by $0$, and endomorphisms of such systems whose forward trajectories are attracted toward $0$. Such endomorphisms are called…
An action of a compact, in particular finite group on a C*-algebra is called properly outer if no automorphism of the group that is distinct from identity is implemented by a unitary element of the algebra of local multipliers of the…
We associate a cohomological invariant to each outer action of a group on a factor, and classify them by the invariant in the case that the group is a countable discrete amenable group and the factor is appoximately finite dimensional. The…
We introduce a new logic for describing properties of graphs, which we call low rank MSO. This is the fragment of monadic second-order logic in which set quantification is restricted to vertex sets of bounded cutrank. We prove the following…
Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…
By the work of Brodzki-Niblo-Nowak-Wright and Monod, topological amenability of a continuous group action can be characterized using uniformly finite homology groups or bounded cohomology groups associated to this action. We show that…
We study the actions of a Lie group $G$ by birationally extendible automorphisms on a domain $D\subset C^n$. For a large class of such domains defined by polynomial inequalities, all automorphisms are of this type. In the cases 1) $G$ has…
We prove several superrigidity results for isometric actions on metric spaces satisfying some convexity properties. First, we extend some recent theorems of N. Monod on uniform and certain non-uniform irreducible lattices in products of…
In this paper, we study several propositional team logics that are closed under unions, including propositional inclusion logic. We prove that all these logics are expressively complete, and we introduce sound and complete systems of…
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of…
We prove an operator algebraic superrigidity statement for homomorphisms of irreducible lattices, and also their commensurators, in certain higher-rank groups into unitary groups of finite factors. This extends the authors' previous work…
We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…
We consider partially hyperbolic abelian algebraic high-rank actions on compact homogeneous spaces obtained from simple indefinite orthogonal and unitary groups. In the first part of the paper, we show local differentiable rigidity for such…
We study group action on bimodules and bimodule categories and prove for them analogues of the results known for representations of skew group algebras, mainly in the case, when the action is separable.
A survey of finite group actions on symplectic 4-manifolds is given with a special emphasis on results and questions concerning smooth or symplectic classification of group actions, group actions and exotic smooth structures, and…
In this article we introduce and study a natural form of expansivity, that we call \textit{metric-independent expansiveness}, for group actions on metrizable spaces. This notion means \textit{expansive with respect to every compatible…
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends…