Related papers: Actions of metric groups and continuous logic

In a previous paper, we introduced the restricted tracial Rokhlin property with comparison, a ``tracial'' analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital…

In this paper we use free iterated actions and the iterated discrete degree of symmetry to obtain rigidity results on aspherical manifolds. We also introduce the concept of the length of an iterated action and we study it for nilmanifolds,…

The study of actions of countable groups by automorphisms of compact abelian groups has recently undergone intensive development, revealing deep connections with operator algebras and other areas. The discrete Heisenberg group is the…

Let $(\omega^n,\preceq)$ be the direct power of $n$ instances of $(\omega,\leq)$, natural numbers with the standard ordering, $(\omega^n,\prec)$ the direct power of $n$ instances of $(\omega,<)$. We show that for all finite $n$, the modal…

We develop the basic model theory of local positive logic, a new logic that mixes positive logic (where negation is not allowed) and local logic (where models omit types of infinite distant pairs). We study several basic model theoretic…

This is a (very subjective) survey paper for nonspecialists covering group actions on Gromov hyperbolic spaces. The first section is about hyperbolic groups themselves, while the rest of the paper focuses on mapping class groups and…

Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes…

We study the variety of actions of a fixed (Chevalley) group on arbitrary geodesic, Gromov hyperbolic spaces. In high rank we obtain a complete classification. In rank one, we obtain some partial results and give a conjectural picture.

Let a countable amenable group $G$ act on a \zd\ compact metric space $X$. For two clopen subsets $\mathsf A$ and $\mathsf B$ of $X$ we say that $\mathsf A$ is \emph{subequivalent} to $\mathsf B$ (we write $\mathsf A\preccurlyeq \mathsf…

In this paper, from the viewpoint of the concentration theory of maps, we study a compact group and a L\'{e}vy group action to a large class of metric spaces, such as R-trees, doubling spaces, metric graphs, and Hadamard manifolds.

We investigate the expressive power of a Turing-complete logic based on game-theoretic semantics. By defining suitable fragments and variants of the logic, we obtain a range of natural characterizations for some fundamental families of…

With the aim of developing the concepts of positive logic and in response to a question that was asked by Poizat in one of his articles, I wrote this article. The main topic is the study of compactness in the extension as a compact…

In this note we extend the concept of topological stability from homeomorphisms to group actions on compact metric spaces, and prove that if an action of a finitely generated group is expansive and has the pseudo-orbit tracing property then…

Let a group $G$ act properly discontinuously and cocompactly on a locally compact space $X$. A Hausdorff compact space $Z$ that contains $X$ as an open subspace has the perspectivity property if the action $G\curvearrowright X$ extends to…

Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal,…

In this paper we study sigma models in which a noneffective group action has been gauged. Such gauged sigma models turn out to be different from gauged sigma models in which an effectively-acting group is gauged, because of nonperturbative…

In this paper, continuous binary operations of a topological space are studied and a criterion of their invertibility is proved. The classification problem of groups of invertible continuous binary operations of locally compact and locally…

In this paper we prove the tail variational principle for actions of countable amenable groups. This allows us to extend some characterizations of asymptotic $h$-expansiveness from $\mathbb{Z}$-actions to actions of countable amenable…

All spaces (and groups) are assumed to be separable and metrizable. Jan van Mill showed that every analytic group $G$ is Effros (that is, every continuous transitive action of $G$ on a non-meager space is micro-transitive). We complete the…

We establish a connection between two well-studied spaces of countable groups: the space of group operations and the space of marked groups. This connection shows that the two spaces are equivalent in terms of generic properties in the…