Related papers: On the First-Order Free Group Factor Alternative

We study direct products of free-abelian and free groups with special emphasis on algorithmic problems. After giving natural extensions of standard notions into that family, we find an explicit expression for an arbitrary endomorphism of…

We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if…

We present obstruction results for self-similar groups regarding the generation of free groups. As a main consequence of our main results, we solve an open problem posed by Grigorchuk by showing that in an automaton group where a…

We answer a question raised by Pillay, that is whether the infinite weight of the generic type of the free group is witnessed in $F_{\omega}$. We also prove that the set of primitive elements in finite rank free groups is not uniformly…

For any left orderable group G, we recall from work of McCleary that isolated points in the space of left orderings correspond to basic elements in the free lattice ordered group over G. We then establish a new connection between the…

Let $M$ be a $\rm II_1$ factor and let $\mathcal{F}(M)$ denote the fundamental group of $M$. In this article, we study the following property of $M$: for arbitrary $\rm II_1$ factor $B$, we have $\mathcal{F}(M \overline{\otimes}…

We prove that a random group, in Gromov's density model with $d < 1/16$ satisfies with overwhelming probability a universal-existential first-order sentence $\sigma$ (in the language of groups) if and only if $\sigma$ is true in a…

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel,…

The purpose of this paper is to investigate the structure of Shlyakhtenko's free Araki-Woods factors using the framework of ultraproduct von Neumann algebras. We first prove that all the free Araki-Woods factors $\Gamma(H_{\mathbb R},…

Using an analogue of the Guionnet-Jones-Shlaykhtenko construction for graphs we show that their construction applied to any subfactor planar algebra of finite depth yields an inclusion of interpolated free group factors with finite…

A subgroup $H$ of a free group $F$ is called inert in $F$ if for every $G < F$ the rank of the intersection of $H$ with $G$ is no grater than the rank of $G$. In this paper we expand the known families of inert subgroups. We show that the…

We study analogues of classical Hilbert transforms as fourier multipliers on free groups. We prove their complete boundedness on non commutative $L^p$ spaces associated with the free group von Neumann algebras for all $1<p<\infty$. This…

We discuss in the context of finite extensions two classical theorems of Takahasi and Howson on subgroups of free groups. We provide bounds for the rank of the intersection of subgroups within classes of groups such as virtually free…

This paper concerns exponential contravariant functors on free groups. We obtain an equivalence of categories between analytic, exponential contravariant functors on free groups and conilpotent cocommutative Hopf algebras. This result…

Let $F \ast G$ be a free product of a free group $F$ and a LERF group $G$. In this note, we provide sufficient conditions for a subgroup $H$ of $F \ast G$ to be $\mathcal{A} \cup \mathcal{S}$-separable, that is, for any finite set…

In the context of Free Probability Theory, we study two different constructions that provide new examples of factors of type ${\rm II_1}$ with prescribed fundamental group. First we investigate state-preserving group actions on the almost…

We prove that the normalizer of any diffuse amenable subalgebra of a free group factor $L(\Bbb F_r)$ generates an amenable von Neumann subalgebra. Moreover, any II$_1$ factor of the form $Q \vt L(\Bbb F_r) $, with $Q$ an arbitrary subfactor…

The result often known as Joiner's lemma is fundamental in understanding the topology of the free topological group $F(X)$ on a Tychonoff space$X$. In this paper, an analogue of Joiner's lemma for the free paratopological group $\FP(X)$ on…

Measure free factors are a generalization of the notion of free factors of a group, in a measure theoretic context. We find new families of cyclic measure free factors of free groups and some virtually free groups, following a question by…

Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…