Related papers: An example of a Fra\"iss\'e class without a Kat\v{…

We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function $F:S\to\text{Ord}$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is…

In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…

This is the first in a sequence of papers that will develop the theory of automorphisms of nonsolvable finite groups. The sequence will culminate in a new proof of McBride's Nonsolvable Signalizer Functor Theorem, which is one of the…

We show a noncommutative Rohlin type theorem for automorphisms of a certain class of purely infinite simple $C^{\ast}$-algebras. This class consists of the purely infinite unital simple $C^{\ast}$-algebras which are in the bootstrap…

Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fra\"iss\'e limit of finite Heyting algebras are examined among others.

For a finite alphabet $\mathcal{A}$ and shift $X\subseteq\mathcal{A}^{\mathbb{Z}}$ whose factor complexity function grows at most linearly, we study the algebraic properties of the automorphism group ${\rm Aut}(X)$. For such systems, we…

We show that every commutative idempotent monoid (a.k.a lattice) is the endomorphism monoid of a subcubic graph. This solves a problem of Babai and Pultr [J. Comb.~Theory, Ser.~B, 1980] and the degree bound is best-possible. On the other…

We prove a log-free zero density estimate for automorphic $L$-functions defined over a number field $k$. This work generalizes and sharpens the method of pseudo-characters and the large sieve used earlier by Kowalski and Michel. As…

Let $\mathfrak{C}$ be a symmetric tensor category and let $A$ be an Azumaya algebra in $\mathfrak{C}$. Assuming a certain invariant $\eta(A) \in \mathrm{Pic}(\mathfrak{C})[2]$ vanishes, and fixing a certain choice of signs, we show that…

We exhibit an analytic family of hyperbolic, even disjoint type, entire functions for which the hyperbolic dimension does not vary analytically. Additionally we answer several questions in thermodynamic formalism of entire functions such as…

We show that the Strong Novikov Conjecture for the maximal C*-algebra C*(G) of a discrete group G is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show…

In relation to the Erd\H os similarity problem (show that for any infinite set $A$ of real numbers there exists a set of positive Lebesgue measure which contains no affine copy of $A$) we give some new examples of infinite sets which are…

Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$…

We prove that no quantifier-free formula in the language of group theory can define the $\aleph_1$-half graph in a Polish group, thus generalising some results from [6]. We then pose some questions on the space of groups of automorphisms of…

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of…

Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$,…

We prove a variant of the Lavrentiev's approximation theorem that allows us to approximate a continuous function on a compact set K in C without interior points and with connected complement, with polynomial functions that are nonvanishing…

We prove a skew generalization of the Newton-Puiseux theorem for the field $F = \bigcup_{n=1}^\infty \mathbb{C}((x^\frac{1}{n}))$ of Puiseux series: For any positive real number $\alpha$, we consider the $\mathbb{C}$-automorphism $\sigma$…

We prove that the autonomous norm on the group of Hamiltonian diffeomorphisms of the two-dimensional torus is unbounded. We provide explicit examples of Hamiltonian diffeomorphisms with arbitrarily large autonomous norm. For the proofs we…

Let $A$ be a group isomorphic with either $S_4$, the symmetric group on four symbols, or $D_8$, the dihedral group of order 8. Let $V$ be a normal four-subgroup of $A$ and $\alpha$ an involution in $A\setminus V$. Suppose that $A$ acts on a…