Related papers: No interesting sequential groups
We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that…
We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov-Witten invariant with two point insertions, then it…
Every finite non-abelian group of order $n$ has a non-central element whose centralizer has order exceeding $n^{1/3}$. The proof does not rely on the classification of finite simple groups, yet it uses the Feit-Thompson theorem.
A non-trivial topological group is called \emph{$d$-independent} if for every subgroup of cardinality less than the continuum there exists a countable dense subgroup intersecting it trivially. This notion was introduced by M\'arquez and…
We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is…
It is proved that the existence of a countable extremally disconnected Boolean topological group containing a family of open subgroups whose intersection has empty interior implies the existence of a rapid ultrafilter.
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…
We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
A regular separable first-countable countably compact space is called a Nyikos space. In this paper, we give a partial solution to an old problem of Nyikos by showing that each locally compact Nyikos inverse topological semigroup is…
The following paper is inspired by Efimov's problem - an undecided problem of whether there exists an infinite compact topological space that does not contain neither non-trivial convergent sequences nor a copy of $\beta\omega$. After…
We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…
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…
A topological space is called Loeb if the collection of all its non-empty closed sets has a choice function. In this article, in the absence of the axiom of choice, connections between Loeb and sequential spaces are investigated. Among…
We construct uncountably many discrete groups of type $FP$; in particular we construct groups of type $FP$ that do not embed in any finitely presented group. We compute the ordinary, $\ell^2$- and compactly-supported cohomology of these…
We give a structural theorem for pseudofinite groups of finite centraliser dimension. As a corollary, we observe that there is no finitely generated pseudofinite group of finite centraliser dimension.
Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…
We prove that various classical conformal diffeomorphism groups, which are known to be essential [1], are in fact properly essential. This is a consequence of a local criterion on a conformal diffeomorphism in the form of a cohomological…
We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal $\mathbb{L}_{\omega_1, \omega}$ sentence categorical on an end segment of…
Set theory is widely believed to provide a secure foundation for deductive mathematics, but current set theories do not quite do this. The mainstream essentially uses na\"\i ve set theory. After Russell's paradox showed this to be…