Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the nonexistence of F{\o}lner sets   We show that there is $n\in \mathbf N$, a finite system $\Sigma(\vec x,\vec
y)$ of equations and inequations having a solution in some group, where $\vec
x$ has length $n$, and $\epsilon>0$ such that: for any group $G$ and any $\vec
a\in G^n$, if the system $\Sigma(\vec a,\vec y)$ has a solution in $G$, then
there is no $(\vec a,\epsilon)$-F{\o} lner set in $G$. The proof uses ideas
from model-theoretic forcing together with the observation that no amenable
group can be existentially closed. Along the way, we also observe that no
existentially closed group can be exact, have the Haagerup property, or have
property (T). Finally, we show that, for $n$ large enough and for $\epsilon$
small enough, the existence of $(F,\epsilon)$-F{\o} lner sets, where $F$ has
size at most $n$, cannot be expressed in a first-order way uniformly in all
groups.

36
The categories of this paper are: cmp-lg
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
37
The categories of this paper are: supr-con
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat