Related papers: Sofic metric groups and continuous logic

The aim of this paper is to investigate weakly developable spaces. For a comparison with semi-metrizable spaces, we introduce and study a class of spaces among those of weakly developable spaces, semimetrizable spaces and first countable…

In the past two decades there has been a great attention to Lie (super)algebras which are extensions of affine Kac-Moody Lie (super)algebras, in certain typical or axiomatic approaches. These Lie (super)algebras have been mostly studied…

B\"{u}chi and Owen studied algebraic structures called hoops. Hoops provide a natural algebraic semantics for a class of substructural logics that we think of as intuitionistic analogues of the widely studied {\L}ukasiewicz logics. Ben…

The class of defeasible logics is only vaguely defined -- it is defined by a few exemplars and the general idea of efficient reasoning with defeasible rules. The recent definition of the defeasible logic $DL(\partial_{||})$ introduced new…

By studying connectedness at infinity of systolic groups we distinguish them from some other classes of groups, in particular from the fundamental groups of manifolds covered by euclidean space of dimension at least three. We also study…

We define a class of finite groups based on the properties of the closed twins of their power graphs and study the structure of those groups. As a byproduct, we obtain results about finite groups admitting a partition by cyclic subgroups.

We define a subgroup of the universal sofic group, obtained as the normaliser of a separable abelian subalgebra. This subgroup can be obtained as an extension by the group of automorphisms on a standard probability space. We show that each…

We study finite non-linearizable subgroups of the plane Cremona group which potentially could be stably linearizable.

Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the…

We prove the following monotonicity result for the holonomy group: Given a sequence of metric connections converging in $C^0$ such that all its members have holonomy contained in a closed group $H$, also their limit connection needs to have…

We give the classification of thick representations and dense representations of the symmetric group over a field of characteristic zero.

Let a compact Lie group act ergodically on a unital $C^*$-algebra $A$. We consider several ways of using this structure to define metrics on the state space of $A$. These ways involve length functions, norms on the Lie algebra, and Dirac…

We study the limit set of discrete subgroups arising from Anosov representations. Specially we study the limit set of discrete groups arising from strictly convex real projective structures and Anosov representations from a finitely…

For a locally compact group $G$, we show that it is possible to present the class of continuous unitary representations of $G$ as an elementary class of metric structures, in the sense of continuous logic. More precisely, we show how…

By means of analyzing the notion of verbal products of groups, we show that soficity, hyperlinearity, amenability, the Haagerup property, the Kazhdan's property (T) and exactness are preserved under taking $k$-nilpotent products of groups,…

In this paper we classify countable locally finite-by-abelian groups up to coarse isomorphism. This classification is derived from a coarse classification of amenable shift-homogeneous metric spaces.

We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of \'{e}tale equivalence relations, and characterize them in terms of the semi-direct product…

The class of all subdirectly irreducible groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.

We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…

We introduce notions of lax semiadditive and lax additive $(\infty,2)$-categories, categorifying the classical notions of semiadditive and additive 1-categories. To establish a well-behaved axiomatic framework, we develop a calculus of lax…