Related papers: Limit Groups and Automorphisms of $\kappa$-Existen…
We prove that for any regular kappa and mu > kappa below the first fix point (lambda = aleph_lambda) above kappa, there is a graph with chromatic number > kappa, and mu^kappa nodes but every subgraph of cardinality < mu has chromatic number…
We prove that consistently there is a singular cardinal $\kappa$ of uncountable cofinality such that $2^\kappa$ is weakly inaccessible, and every regular cardinal strictly between $\kappa$ and $2^\kappa$ is the character of some uniform…
Let B(kappa, lambda) be the subalgebra of P(kappa) generated by [kappa]^{<= lambda}. It is shown that if B is any homomorphic image of B(kappa, lambda) then either |B|< 2^lambda or |B|=|B|^lambda, moreover if X is the Stone space of B then…
In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…
A conjecture of Berkovich asserts that every non-simple finite p-group has a non-inner automorphism of order p. This conjecture is far from being proved despite the great effort devoted to it. In this paper we prove it for p-groups of…
We give a complete classification of the finite $2$-groups $G$ for which the automorphism group $\operatorname{Aut}(G)$ acting naturally on $G$ has three orbits. There are two infinite families and one additional group, of order $2^9$. All…
We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$ , yet satisfies $2^\kappa = \kappa^{++}$. This…
Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$ (e.g., if the Generalized Continuum Hypothesis holds), we develop a proof system for classical infinitary logic that includes heterogeneous quantification (i.e., infinite…
Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal…
In this paper, we discuss the fixed point property for an infinite family of order-preserving mappings which satisfy the Lipschitzian condition on comparable pairs. The underlying framework of our main results is a metric space of any…
In this paper we study different questions concerning automorphisms of quandles. For a conjugation quandle $Q={\rm Conj}(G)$ of a group $G$ we determine several subgroups of ${\rm Aut}(Q)$ and find necessary and sufficient conditions when…
Global control offers a promising route to scalable quantum computing. A recent conjecture by Hu et al. (arXiv:2508.19075) proposes that any connected qubit graph equipped with global Ising-type interactions and tunable global transverse…
We describe a framework for proving consistency results about singular cardinals of arbitrary cofinality and their successors. This framework allows the construction of models in which the Singular Cardinals Hypothesis fails at a singular…
Given a cardinal $\kappa$ that is $\lambda$-supercompact for some regular cardinal $\lambda\geq\kappa$ and assuming $\GCH$, we show that one can force the continuum function to agree with any function $F:[\kappa,\lambda]\cap\REG\to\CARD$…
Let $\Gamma$ be a graph product of finite groups, with finite underlying graph, and let $\Delta$ be the associated right-angled building. We prove that a uniform lattice $\Lambda$ in the cubical automorphism group Aut$(\Delta)$ is weakly…
Let $H$ be an additively written monoid and let $\mathcal{P}_{0}(H)$ denote the reduced power monoid of $H$, that is, the monoid consisting of all subsets of $H$ containing $0$ with set addition as operation. Following work of Tringali, Wen…
Let $F_n$ be the free group of rank $n$, and let $\rho_{ab}:\mathrm{Aut}(F_n)\to \mathrm{GL}_n(\mathbb Z)$ be the map induced by the natural projection $F_n\to\mathbb Z^n$. It is a long-standing open problem whether the subgroup of…
For a locally finite, connected graph $\Gamma$, let $\operatorname{Map}(\Gamma)$ denote the group of proper homotopy equivalences of $\Gamma$ up to proper homotopy. Excluding sporadic cases, we show $\operatorname{Aut}(S(M_\Gamma)) \cong…
We describe the structure of virtually solvable normal subgroups in the automorphism group of a right-angled Artin group ${\rm Aut}(A_\Gamma)$. In particular, we prove that a finite normal subgroup in ${\rm Aut}(A_\Gamma)$ has at most order…
In all $\kappa$-accessible additive categories, $\kappa$-pure monomorphisms and $\kappa$-pure epimorphisms are well-behaved, as shown in our previous paper arXiv:2311.02418. This is known to be not always true in $\kappa$-accessible…