Related papers: On first order amenability

We prove group existence and structure theorems in a general setting of tame topological theories. More precisely, we identify a linear/non-linear dividing line -- called topological 1-basedness -- among the class of t-minimal theories with…

A forcing extension may create new isomorphisms between two models of a first order theory. Certain model theoretic constraints on the theory and other constraints on the forcing can prevent this pathology. A countable first order theory is…

We generalize Luck's Theorem to show that the L^2-Betti numbers of a residually amenable covering space are the limit of the L^2-Betti numbers of a sequence of amenable covering spaces. We show that any residually amenable covering space of…

For locally compact groups amenability and Kazhdan's property (T) are mutually exclusive in the sense that a group having both properties is compact. This is no longer true for more general Polish groups. However, a weaker result still…

We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also F{\o}lner's type characterizations of amenability and give an example of a…

We show that topological amenability of an action of a countable discrete group on a compact space is equivalent to the existence of an invariant mean for the action. We prove also that this is equivalent to vanishing of bounded cohomology…

A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras.…

Let G be a locally compact group, and ZL1(G) be the centre of its group algebra. We show that when $G$ is compact ZL1(G) is not amenable when G is either nonabelian and connected, or is a product of infinitely many finite nonabelian groups.…

In this note we are concerned with the notion of amenable representation type as defined in a recent paper by G\'abor Elek. Roughly speaking, an algebra is of amenable type if for all $\varepsilon > 0$, every finite-dimensional module has a…

A choice of first-order variables for the characteristic problem of the linearized Einstein equations is found which casts the system into manifestly well-posed form. The concept of well-posedness for characteristic problems invoked is that…

Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in positive logic. Importantly, there is a compactness theorem.…

We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where…

We use ideas from topological dynamics (amenability), combinatorics (structural Ramsey theory) and model theory (Fra\" {i}ss\' e limits) to study closed amenable subgroups $G$ of the symmetric group $S_\infty$ of a countable set, where…

We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…

We note a characterization of the amenability of unitary representations (in the sense of Bekka) via the existence of an orthonormal basis supporting an invariant probability charge. Based on this, we explore several natural notions of…

We give examples of groups G such that G^00 is different from G^000. We also prove that for groups G definable in an o-minimal structure, G has a "bounded orbit" iff G is definably amenable. These results answer questions of Gismatullin,…

We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find $L_{\omega_1 \omega}$-axiomatization of amenability. We also show that in the case of…

A theory $T$ is said to be relatively decidable if for every model of $T$, one can compute the elementary diagram of that model from its atomic diagram together with $T$. We verify a conjecture of Chubb, Miller, and Solomon by showing that…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…