Related papers: Separation for isometric group actions and hyperim…

Given isometric actions by a group G on finitely many \delta-hyperbolic metric spaces, we provide a sufficient condition that guarantees the existence of a single element in G that is hyperbolic for each action. As an application we prove a…

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

In this paper we construct an entire function of two variables having the property that its values and its partial derivatives of any order at any distinct algebraic points are algebraically independent. Such an entire function is generated…

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…

We study the properly discontinuous and isometric actions on the unit sphere of infinite dimensional Hilbert spaces and we get some new examples of Hilbert manifold with costant positive sectional curvature. We prove some necessary…

We consider the unitary group $\U$ of complex, separable, infinite-dimensional Hilbert space as a discrete group. It is proved that, whenever $\U$ acts by isometries on a metric space, every orbit is bounded. Equivalently, $\U$ is not the…

We prove that if $T$ is a complete theory with weak elimination of imaginaries, then there is an explicit bijection between strict independence relations for $T$ and strict independence relations for $T^{\text{eq}}$. We use this observation…

We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements about identities of morphisms in preadditive semicategories…

We investigate the following model-theoretic independence relation: $\def\indbu{{\rlap{\hspace11.9mu\vert}\lower7.5mu\smile}^{\!\mathrm{bu}}} b \indbu_A\hspace3mu c$ if and only if $\mathrm{bdd}^u(Ab)\cap \mathrm{bdd}^u(Ac) =…

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…

We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a…

The higher divergence of a metric space describes its isoperimetric behaviour at infinity. It is closely related to the higher-dimensional Dehn functions, but has more requirements to the fillings. We prove that these additional…

We prove that Connes' Embedding Conjecture holds for the von Neumann algebras of sofic groups, that is sofic groups are hyperlinear. Hence we provide some new examples of hyperlinearity. We also show that the Determinant Conjecture holds…

For every countable infinite group that admits $\mathbb{Z}$ as a homomorphic image, we show that for each $m\in\mathbb{N}$, there exists a minimal action whose topological sequence entropy is $\log(m)$. Furthermore, for every countable…

We show that for any finitely generated subgroup $H$ of a limit group $L$ there exists a finite-index subgroup $K$ containing $H$, such that $K$ is a subgroup of a group obtained from $H$ by a series of extensions of centralizers and free…

For actions with a dense orbit of a connected noncompact simple Lie group $G$, we obtain some global rigidity results when the actions preserve certain geometric structures. In particular, we prove that for a $G$-action to be equivalent to…

We study the spectrum of limit models assuming the existence of a nicely behaved independence notion. Under reasonable assumptions, we show that all `long' limit models are isomorphic, and all `short' limit models are non-isomorphic.…

Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…

Let $\mathcal S$ be a semigroup of partial isometries acting on a complex, infinite-dimensional, separable Hilbert space. In this paper we seek criteria which will guarantee that the selfadjoint semigroup $\mathcal T$ generated by $\mathcal…

In this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion, regardless if it is…