Related papers: Beyond Erd\H{o}s-Kunen-Mauldin: Singular sets with…
We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any…
We begin by showing that commensurators of Zariski dense subgroups of isometry groups of symmetric spaces of non-compact type are discrete provided that the limit set on the Furstenberg boundary is not invariant under the action of a…
The main result is the following. Let $f \colon X \rightarrow Y$ be a continuous mapping of a completely Baire space $X$ onto a hereditary weakly Preiss-Simon regular space $Y$ such that the image of every open subset of $X$ is a resolvable…
We show the existence of a bounded Borel measurable saturated compensation function for a factor map between subshifts. As an application, we find the Hausdorff dimension and measures of full Hausdorff dimension for a compact invariant set…
We present the Tetrahedral Compactness Theorem which states that sequences of Riemannian manifolds with a uniform upper bound on volume and diameter that satisfy a uniform tetrahedral property have a subsequence which converges in the…
We introduce the coherent algebra of a compact metric measure space by analogy with the corresponding concept for a finite graph. As an application we show that upon topologizing the collection of isomorphism classes of compact metric…
We construct a model of ZFC with a singular cardinal $\kappa$ such that every subset of $\kappa$ in $L(V_{\kappa+1})$ has both the $\kappa$-Perfect Set Property and the $\mathcal{\vec{U}}$-Baire Property. This is a higher analogue of…
C*-algebras generalizing Cuntz-Krieger algebras can be associated to hyperbolic homeomorphisms of compact metric spaces. They satisfy a non-commutative form of Spanier-Whitehead duality with respect to K-theory. We prove this for the case…
This paper proves the existence of nonmeasurable dense sets with additional properties using combinatorial techniques.
Given a simple Lie group $G$, we show that the lattices in $G$ are weakly uniformly discrete. This is a strengthening of the Kazhdan-Margulis theorem. Our proof however is straightforward --- considering general IRS rather than lattices…
Building on previous works by Bilu, Chambert-Loir and Loeser, we study the asymptotic behaviour of the moduli space of sections of a given family over a smooth projective curve, assuming that the generic fiber is an equivariant…
We show that the convolution algebra of smooth, compactly-supported functions on a Lie groupoid is H-unital in the sense of Wodzicki. We also prove H-unitality of infinite order vanishing ideals associated to invariant, closed subsets of…
A parametrization of irreducible unitary representations associated with the regular adjoint orbits of a hyperspecial compact subgroup of a reductive group over a non-dyadic non-archimedean local filed is presented. The parametrization is…
We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the…
We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is…
We establish a compensated compactness theorem in the microlocal and geometric analytic framework. For a weakly $L^2_{\rm loc}$-convergent sequence of sections of a vector bundle over a semi-Riemannian manifold whose image under a…
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…
It is known that the topology of a Polish group is uniquely determined by its Borel structure and group operations, but this does not give us a way to find the topology. In this article we expand on this theorem and give a criterion for a…
We give an easy proof of Sch\"utzenberger's Theorem stating that non-commutative formal power series are rational if and only if they are recognisable. A byproduct of this proof is a natural metric on a subgroup of invertible rational…