Related papers: Definable maximal discrete sets in forcing extensi…

If mu is a smooth density on a hypersurface in R^d whose curvature never vanishes to infinite order, and A is a d-by-d matrix whose eigenvalues all have absolute value greater than 1, then the maximal function given by convolving f with…

If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K…

We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with particular emphasis on the set D' comprised of differences between successive…

We analyze all orthonormal bases of exponentials on the Cantor set defined by Jorgensen and Pedersen in J. Anal. Math. 75,1998, pp 185-228. A complete characterization for all maximal sets of orthogonal exponentials is obtained by…

Let $\mathfrak{i}$ denote the minimal cardinality of a maximal independent family and let $\mathfrak{a}_T$ denote the minimal cardinality of a maximal family of pairwise almost disjoint subtrees of $2^{<\omega}$. Using a countable support…

For a smooth $k$-dimensional submanifold $\Sigma$ of a $d$-dimensional compact Riemannian manifold $M$, we extend the $L^p(\Sigma)$ restriction bounds of Burq-G\'erard-Tzvetkov -- originally proved for individual Laplace--Beltrami…

We derive a modular anomaly equation satisfied by the prepotential of the N=2* supersymmetric theories with non-simply laced gauge algebras, including the classical B and C infinite series and the exceptional F4 and G2 cases. This equation…

We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a wide class of special sets of reals such as Hamel bases, transcendence bases, Vitali sets or Bernstein sets exists. To be more precise, we…

We extend the well-known 't Hooft anomaly matching conditions for continuous global symmetries to discrete groups. We state the matching conditions for all possible anomalies which involve discrete symmetries explicitly. There are two types…

Gilmer has recently shown that in any nonempty union-closed family $\mathcal F$ of subsets of a finite set, there exists an element contained in at least a proportion $.01$ of the sets of $\mathcal F$. We improve the proportion from $.01$…

We study two different types of (maximal) almost disjoint families: very mad families and (maximal) cofinitary groups. For the very mad families we prove the basic existence results. We prove that MA implies there exist many pairwise…

We lift any (infinitesimal) unitary irreducible representation of $GL_n(\mathbb{R})$ to a family of representations that strongly contracts to a certain type of (infinitesimal) unitary irreducible representations of $\mathbb{R}^n\rtimes…

We consider the reverse math strength of the statement $\mathsf{C\text-DM}$:"Every completely determined Borel set is measurable." Over $\mathsf{WWKL}_0$, we obtain the following results analogous to the previously studied category case.…

We focus on formulae $\exists X.\, \varphi(\vec{Y}, X)$ of monadic second-order logic over the full binary tree, such that the witness $X$ is a well-founded set. The ordinal rank $\mathrm{rank}(X) < \omega_1$ of such a set $X$ measures its…

Let k be a field not of characteristic two and L be a set of almost all rational primes invertible in k. Suppose we have a variety X/k and strictly compatible system {M_ell -> X : ell in L} of constructible F_ell-sheaves. If the system is…

We prove a discrete version of the Lusternik-Schnirelmann theorem for discrete Morse functions and the recently introduced simplicial Lusternik-Schnirelmann category of a simplicial complex. To accomplish this, a new notion of critical…

The closure of a discrete exponential family is described by a finite set of equations corresponding to the circuits of an underlying oriented matroid. These equations are similar to the equations used in algebraic statistics, although they…

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results…

In this paper, we introduce and develop the concept of conditional quantization for Borel probability measures on $\mathbb{R}^k,$ considering both constrained and unconstrained frameworks. For each setting, we define the associated…

Given a countable transitive model $M$ for ZFC+CH, we prove that one can produce a maximal almost disjoint family in $M$ whose Vietoris Hyperspace of its Isbell-Mr\'owka space is pseudocompact on every Cohen extension of $M$. We also show…