Related papers: Products of pseudofinite structures

Let $T$ be a countable complete first-order theory with a definable, infinite, discrete linear order. We prove that $T$ has continuum-many countable models. The proof is purely first-order, but raises the question of Borel completeness of…

With every Eo-semigroup (acting on the algebra of of bounded operators on a separable infinite-dimensional Hilbert space) there is an associated Arveson system. One of the most important results about Arveson systems is that every Arveson…

Can one detect free products of groups via their profinite completions? We answer positively among virtually free groups. More precisely, we prove that a subgroup of a finitely generated virtually free group $G$ is a free factor if and only…

We prove the following. Let $R$ be a Noetherian ring, $B$ a finitely generated $R$-algebra, and $A$ a pure $R$-subalgebra of $B$. Then $A$ is finitely generated over $R$.

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It…

The notion of an open collar is generalized to that of a pseudo-collar. Important properties and examples are discussed. The main result gives conditions which guarantee the existence of a pseudo-collar structure on the end of an open…

We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of…

We define the tensor product of filtered $A_\infty$-algebras. establish some of its properties and give a partial description of the space of bounding cochains in the tensor product. Furthermore we show that in the case of classical…

We prove the A-theoretic Isomorphism Conjecture with coefficients and finite wreath products for solvable groups.

In this note we prove that if $G$ is a finitely generated profinite group then the verbal subgroup $G^{q}$ is open. Equivalently in a $d$-generator finite group every product of $q$th powers is a product of $f(d,q)$ $q$th powers.

The object of the present paper is to obtain the characterization of a warped product semi-Riemannian manifold with a special type of recurrent like structure, called super generalized recurrent. As consequence of this result we also find…

In this note we prove that every finitely presented subgroup of a systolic group is itself systolic.

We give a notably simpler and shorter proof of H. B. Neumann's result which is stated, cursorly, like this. For any well-ordered subset, A, of a totally ordered semigroup, the set of products of any finite number of elements of A is itself…

An interesting question is whether two 3-manifolds can be distinguished by computing and comparing their collections of finite covers; more precisely, by the profinite completions of their fundamental groups. In this paper, we solve this…

We study a family of ultraproducts of finite fields with the Frobenius automorphism in this paper. Their theories have the strict order property and TP2. But the coarse pseudofinite dimension of the definable sets is definable and…

This paper gives a quick overview of the author's recent result that all finitely presented groups are QSF.

We investigate several infinite product of cosines and find the closed form using the Fourier transform. The answers provide limiting distributions for some elementary probability experiments.

This paper gives a systematic construction of certain covers of finite semigroups. These covers will be used in future work on the complexity of finite semigroups.

We present results expressing conditions for the existence of meromorphic first integrals for Pfaff equations of arbitrary codimension, integrable or not, on complex manifolds. These results are in the same vein as previous ones by J-P.…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.