Related papers: Actions of metric groups and continuous logic

In this article, we study mappings acting between domains of two factor spaces by certain groups of M\"{o}bius automorphisms of the unit ball that act discontinuously and do not have fixed points. For such mappings, we have established…

We classify the finite groups whose non-linear irreducible characters that are not conjugate under the natural Galois action have distinct degrees, therefore extending the results in Berkovich et al. [Proc. Amer. Math. Soc. {\bf 115}…

We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous.

We consider a class of dynamical systems with compact non abelian groups that include C*-, W*- and multiplier dynamical systems. We prove results that relate the algebraic properties such as simplicity or primeness of the fixed point…

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as…

In this article we study linear temporal logics with team semantics (TeamLTL) that are novel logics for defining hyperproperties. We define Kamp-type translations of these logics into fragments of first-order team logic and second-order…

We study Morse representations of discrete subgroups in higher rank semi-simple Lie groups defined by M. Kapovich, B. Leeb and J. Porti. We show that, if a sequence of Morse representations $\rho_n : \Gamma \rightarrow G$ is (strongly)…

For a general group G we consider various weak mixing properties of nonsingular actions. In the case where the action is actually measure preserving all these properties coincide, and our purpose here is to check which implications persist…

We consider endomorphism actions of arbitrary discrete semigroups on a connected metrizable topological group G. We give necessary and sufficient conditions for expansiveness of such actions when G is a Lie group or a compact…

We initiate the study of pseudofiniteness in continuous logic. We introduce a related concept, namely that of pseudocompactness, and investigate the relationship between the two concepts. We establish some basic properties of…

In this paper we will study the homological properties of various natural modules associated to the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules will be projective…

Problems of dense and closed extension of actions of compact transformation groups are solved. The method developed in the paper is applied to problems of extension of equivariant maps and of construction of equivariant compactifications.

We introduce a notion of shadowing property for actions of finitely generated groups and study its basic properties. We formulate and prove a shadowing lemma for actions of nilpotent groups. We construct an example of a faithful linear…

For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…

The use of exponentials in linear logic greatly enhances its expressive power. In this paper we focus on nonassociative noncommutative multiplicative linear logic, and systematically explore modal axioms K, T, and 4 as well as the…

In this paper the metric on the set of mixing actions of a countable infinite group is introduced so that the corresponding space is complete and separable. Keywords and phrases. Monotilable group, measure preserving transformations, mixing…

Let $G$ be a group acting properly by isometries and with a strongly contracting element on a geodesic metric space. Let $N$ be an infinite normal subgroup of $G$, and let $\delta_N$ and $\delta_G$ be the growth rates of $N$ and $G$ with…

In this paper we study holomorphic actions of the complex multiplicative group on complex manifolds around a singular (fixed) point. We prove linearization results for the germ of action and also for the whole action under some conditions…

We implement GAP functions about groups with action on itself and investigate some basic properties of small groups with action on itself of order $<32$.

We investigate the expressive power of the two main kinds of program logics for complex, non-regular program properties found in the literature: those extending propositional dynamic logic (PDL), and those extending the modal mu-calculus.…