Related papers: Infinitary logic and basically disconnected compac…

We consider non-zero endomorphisms of the Dales and Davie algebras of infinitely differentiable functions on intervals in the real line. We discuss necessary and sufficient conditions for a selfmap of the interval to induce a compact…

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…

We study the structure of arbitrary split Leibniz superalgebras. We show that any of such superalgebras ${\frak L}$ is of the form ${\frak L} = {\mathcal U} + \sum_jI_j$ with ${\mathcal U}$ a subspace of an abelian (graded) subalgebra $H$…

We prove the continuity of logarithmic capacity under Hausdorff convergence of uniformly perfect planar sets. The continuity holds when the Hausdorff distance to the limit set tends to zero at sufficiently rapid rate, compared to the decay…

A topological space is almost locally compact if it contains a dense locally compact subspace. We generalize a result from \cite{Ma}, showing that isomorphism on Borel classes of almost locally compact Polish metric structures is always…

The Riesz-Markov theorem identifies any positive, finite, and regular Borel measure on the complex unit circle with a positive linear functional on the continuous functions. By the Weierstrass approximation theorem, the continuous functions…

Let $X$ be a compact metric space and $\mathcal M_X$ be the set of isometry classes of compact metric spaces $Y$ such that the Lipschitz distance $d_L(X,Y)$ is finite. We show that $(\mathcal M_X, d_L)$ is not separable when $X$ is a closed…

The Jarn\'ik-Besicovitch theorem is a fundamental result in metric number theory which concerns the Hausdorff dimension for certain limsup sets. We discuss the analogous problem for liminf sets. Consider an infinite sequence of positive…

The Kasner spacetime is a cosmological model of an anisotropic expanding universe without matter and is an exact solution of the Einstein vacuum equations Ric(g) = 0. It is manifestly inextendible as a Lorentzian manifold with a twice…

After calculating the Dushnik-Miller dimension of Minkowski spaces to be countable infinity, we define a novel notion of dimension for ordered spaces recovering the correct manifold dimension and obtain a corresponding obstruction for the…

First-order multiplicative intuitionistic linear logic (MILL1) can be seen as an extension of the Lambek calculus. In addition to the fragment of MILL1 which corresponds to the Lambek calculus (of Moot & Piazza 2001), I will show fragments…

In this article we establish an isomorphism between universal infinitesimal Cherednik algebras and W-algebras for Lie algebras of the same type and 1-block nilpotent elements. As a consequence we obtain some fundamental results about…

We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some…

Suppose $A$ is a separable unital $C(X)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_{1}$-injective $C^{*}$-algebra $D$. We show that $A$ and $C(X) \otimes D$ are isomorphic as $C(X)$-algebras…

We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where…

MV-algebras are an algebraic semantics for Lukasiewicz logic and MV-algebras generated by a finite chain are Heyting algebras where the Godel implication can be written in terms of De Morgan and Moisil's modal operators. In our work, a…

We attempt to reconstruct the irreducible unitary representations of the Banach Lie group $U_0(\H)$ of all unitary operators $U$ on a separable Hilbert space $\H$ for which $U-{\mathbb I}$ is compact, originally found by Kirillov and…

The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed…

Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space,…