Related papers: A non-polybounded absolutely closed $36$-Shelah gr…

We conjecture that every infinite group $G$ can be partitioned into countably many cells $G=\bigcup_{n\in\omega}A_n$ such that $cov(A_nA_n^{-1})=|G|$ for each $n\in\omega$. Here $cov(A)=\min\{|X|:X\subseteq G, G=XA\}$. We confirm this…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

The logic $\mathcal L^1_\kappa$ was introduced by Shelah in [3]. In [4], he proved that for a strongly compact cardinal $\kappa$, it admits the following algebraic characterization: two structures are $\mathcal L^1_\kappa$-equivalent if and…

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of…

In this paper we investigate more characterizations and applications of $\delta$-strongly compact cardinals. We show that, for a cardinal $\kappa$ the following are equivalent: (1) $\kappa$ is $\delta$-strongly compact, (2) For every…

We give sufficient conditions when a topological inverse $\lambda$-polycyclic monoid $P_{\lambda}$ is absolutely $H$-closed in the class of topological inverse semigroups. Also, for every infinite cardinal $\lambda$ we construct the…

Let $G$ be a non-abelian group. The non-commuting graph $\mathcal{A}_G$ of $G$ is defined as the graph whose vertex set is the non-central elements of $G$ and two vertices are joint if and only if they do not commute. In a finite simple…

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

Given a computably locally compact Polish space $M$, we show that its 1-point compactification $M^*$ is computably compact. Then, for a computably locally compact group $G$, we show that the Chabauty space $\mathcal S(G)$ of closed…

We show that connected separable locally compact groups are infinitesimally finitely generated, meaning that there is an integer $n$ such that every neighborhood of the identity contains $n$ elements generating a dense subgroup. We…

Let $G$ be a finite group and let $H$ be a subgroup of $G$. We say that $H$ is extremely closed in $G$ if $\langle H,H^g\rangle\cap N_G(H)=H$ for all $g\in G.$ In this paper, we determine the structure of finite groups with an extremely…

Let $G$ be an abelian group, and $F$ a downward directed family of subsets of $G$. The finest topology $\mathcal{T}$ on $G$ under which $F$ converges to $0$ has been described by I.Protasov and E.Zelenyuk. In particular, their description…

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

We study groups that can be defined as Polish, pro-countable groups, as non-archimedean groups with an invariant metric or as quasi-countable groups, i.e., closed subdirect products of countable, discrete groups, endowed with the product…

We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…

In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $\Omega(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1…

A finite abelian group $G$ of cardinality $n$ is said to be of type III if every prime divisor of $n$ is congruent to 1 modulo 3. We obtain a classification theorem for sum-free subsets of largest possible cardinality in a finite abelian…

In a paper from 1997, Shelah asked whether $Pr_1(\lambda^+,\lambda^+,\lambda^+,\lambda)$ holds for every inaccessible cardinal $\lambda$. Here, we prove that an affirmative answer follows from $\square(\lambda^+)$. Furthermore, we establish…

Let $G$ be a group. A subset $D$ of $G$ is a determining set of $G$, if every automorphism of $G$ is uniquely determined by its action on $D$. The determining number of $G$, denoted by $\alpha(G)$, is the cardinality of a smallest…

A perfect code in a graph $\Gamma = (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a…