Related papers: A co-analytic Cohen indestructible maximal cofinit…

We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…

Let $k(G)$ be the number of conjugacy classes of finite groups $G$ and $\pi_e(G)$ be the set of the orders of elements in $G$. Then there exists a non-negative integer $k$ such that $k(G)=|\pi_e(G)|+k$. We call such groups to be $co(k)$…

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such…

In earlier work (*) we studied an extension of the canonical symplectic structure in the cotangent bundle of an affine space ${\cal Q}={\bf R}^N$, by additional terms implying the Poisson non-commutativity of both configuration and momentum…

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which…

Let $\mathbf{K}$ be the class of countable structures $M$ with the strong small index property and locally finite algebraicity, and $\mathbf{K}_*$ the class of $M \in \mathbf{K}$ such that $acl_M(\{ a \}) = \{ a \}$ for every $a \in M$. For…

Let K be a finite extension of Q_p with residue field F_q and let P(T) = T^d + a_{d-1}T^{d-1} + ... +a_1 T, where d is a power of q and a_i is in the maximal ideal of K for all i. Let u_0 be a uniformizer of O_K and let {u_n}_{n \geq 0} be…

We define the notion of computability of F{\o}lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has…

Coclass theory can be used to define infinite families of finite p-groups of a fixed coclass. It is conjectured that the groups in one of these infinite families all have isomorphic mod-p cohomology rings. Here we prove that almost all…

We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first…

Let G be a noncocompact irreducible arithmetic group over a global function field K of characteristic p, and let H be a finite-index, residually p-finite subgroup of G. We show that the cohomology of H in the dimension of its associated…

In this summary paper, we present the key ideas behind the recent proof of the $K(\pi, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable…

We generalize to the setting of Arveson's maximal subdiagonal subalgebras of finite von Neumann algebras, the Szeg\"o $L^p$-distance estimate, and classical theorems of F. and M. Riesz, Gleason and Whitney, and Kolmogorov. In so doing, we…

Let $G$ be a finite group and \( M \) be a maximal subgroup of \( G \). We call every irreducible constituent \( \chi \) of \( (1_M)^G \) a \( \mathcal{P} \)-character of \( G \) with respect to \( M \). In this paper, we prove that all…

We study cofinal systems of finite subsets of $\omega_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory,…

We construct a Borel maximal cofinitary group.

L\'evai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has an open subgroup $H$ and an element $t$ such that all…

Let X be a finite CW-complex of dimension q. If its fundamental group $\pi_{1}(X)$ is polycyclic of Hirsch number h>q we show that at least one of the homotopy groups $\pi_{i}(X)$ is not finitely generated. If h=q or h=q-1 the same…

Using algebraic geometry methods, the third author proved that the group ring of a surjunctive group with coefficients in a field is always stably finite. In other words, every group satisfying Gottschalk's conjecture also satisfies…

We give necessary and sufficient conditions for the group of a rational maximal bifix code $Z$ to be isomorphic with the $F$-group of $Z\cap F$, when $F$ is recurrent and $Z\cap F$ is rational. The case where $F$ is uniformly recurrent,…