Related papers: Reflexive abelian groups and measurable cardinals …

We give a positive answer to the question of Shkarin (\emph{On universal abelian topological groups}, Mat. Sb. 190 (1999), no. 7, 127-144) whether there exists a metrically universal abelian separable group equipped with invariant metric.…

This paper aims to systematically study mystic reflection groups that emerged independently in the paper [Selecta Math. (N.S.) 14 (2009), 325-372, arXiv:0806.0867] by the authors and in the paper [Algebr. Represent. Theory 13 (2010),…

We compute for reflection groups of type $A,B,D,F_4,H_3$ and for dihedral groups a statistic counting the maximal cardinality of a set of elements in the group whose generalized inversions yield the full set of inversions and which are…

We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid…

We study the influence of the existence of large cardinals on the existence of wellorderings of power sets of infinite cardinals $\kappa$ with the property that the collection of all initial segments of the wellordering is definable by a…

The first examples of formations which are arboreous (and therefore Hall) but not freely indexed (and therefore not locally extensible) are found. Likewise, the first examples of solvable formations which are freely indexed and arboreous…

Akbarov's theory of holomorphic reflexivity for topological Hopf algebras has been developed in two directions, namely, by the complication of definitions when expanding the scope and by their simplification when restricting. In the…

Commensurable groups are bi-interpretable, under suitable definability conditions.

All spaces below are $T_0$ and crowded (i.e. have no isolated points). For $n \le \omega$ let $M(n)$ be the statement that there are $n$ measurable cardinals and $\Pi(n)$ ($\Pi^+(n)$) that there are $n+1$ (0-dimensional $T_2$) spaces whose…

Let omega be the first infinite ordinal (or the set of all natural numbers) with the usual order <. In section 1 we show that, assuming the consistency of a supercompact cardinal, there may exist an ultrapower of omega, whose cardinality is…

Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtained by analyzing the limit of a decreasing sequence of…

Over each nontrivial finite group $G$, there exists a finite system of equations having no solutions in larger finite groups but having a solution in a periodic group containing $G$. We prove several similar facts about amenable, orderable,…

We prove that a K\"ahler group which is cubulable, i.e. which acts properly discontinuously and cocompactly on a CAT(0) cubical complex, has a finite index subgroup isomorphic to a direct product of surface groups, possibly with a free…

We show that the consistency of $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + ``\Theta$ is measurable$"$ implies the consistency of $\mathrm{ZF} +``\Theta$ is the least strongly regular cardinal and the least measurable cardinal$"$ + $``$all…

For certain uncountable cardinals $\kappa$ we produce a group of cardinality $\kappa$ which is freely indecomposable, strongly $\kappa$-free, and whose abelianization is free abelian of rank $\kappa$. The construction takes place in…

We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each…

Assume G.C.H. and kappa is the first uncountable cardinal such that there is a kappa-free abelian group which is not a Whitehead (abelian) group. We prove that kappa is necessarily an inaccessible cardinal

Let X be a compact K\"ahler manifold such that the universal cover admits a compactification. We conjecture that the fundamental group is almost abelian and reduce it to a classical conjecture of Iitaka.

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

Suppose that $k\geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G|>1$. Then the cardinality of the restricted sumset $$ k^\wedge A:=\{a_1+\cdots+a_k:\,a_1,\ldots,a_k\in A,\ a_i\neq a_j\text{ for }i\neq j\} $$ is at…