Related papers: Definable discrete sets with large continuum
We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…
We recall some classical results relating normality and some natural weakenings of normality in $\Psi$-spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$-sets, $\lambda$-sets and…
We show that a relatively ergodic extension of measure-preserving dynamical systems has relative discrete spectrum if and only if it can be represented as a skew-product by a bundle of compact homogeneous spaces. Our result holds without…
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…
In this paper, the notion of measure complexity is introduced for a topological dynamical system and it is shown that Sarnak's M\"{o}bius disjointness conjecture holds for any system for which every invariant Borel probability measure has…
Predicting theoretically the highest density, which a disordered packing of discs can achieve, has been a long-standing unresolved problem. Such predictions are hindered by two difficulties - the dependence of the density on the packing…
Let K be a finite extension of Qp. We fix a continuous absolutely irreducible representation of the absolute Galois group of K over a finite dimensional vector space with coefficient in a finite field of characteristic p and consider its…
We prove an effective variant of the Kazhdan-Margulis theorem generalized to stationary actions of semisimple groups over local fields: the probability that the stabilizer of a random point admits a non-trivial intersection with a small…
The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_\sigma$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof…
We prove that a homeomorphism of a compact metric space has an expansive measure \cite{ms} if and only if it has many ones with invariant support. We also study homeomorphisms for which the expansive measures are dense in the space of Borel…
We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K :…
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…
We describe a proof-theoretic bound on $Sigma_{2}$-definable countable ordinals in Kripke-Platek set theory with $Pi_{1}$-Collection and the existence of $omega_{1}$.
A modification of perturbation theory, known as delta-expansion (variationally improved perturbation), gave rigorously convergent series in some D=1 models (oscillator energy levels) with factorially divergent ordinary perturbative…
The dimension of random simplicial complexes (defined as the maximal dimension among all faces) is a natural extreme value associated with the complex, and is closely related to other functionals defined by a maximum, such as the clique…
In this paper we relate the location of the complex zeros of the reliability polynomial to parameters at which a certain family of rational functions derived from the reliability polynomial exhibits chaotic behaviour. We use this connection…
We derive a continuum model for incompatible elasticity as a variational limit of a family of discrete nearest-neighbor elastic models. The discrete models are based on discretizations of a smooth Riemannian manifold $(M,\mathfrak{g})$,…
We provide an existence and uniqueness theory for an extension of backward SDEs to the second order. While standard Backward SDEs are naturally connected to semilinear PDEs, our second order extension is connected to fully nonlinear PDEs,…
Definable stationary sets, and specifically, ordinal definable ones, play a significant role in the study of canonical inner models of set theory and the class HOD of hereditarily ordinal definable sets. Fixing a certain notion of…
The Carlson-Simpson lemma is a combinatorial statement occurring in the proof of the Dual Ramsey theorem. Formulated in terms of variable words, it informally asserts that given any finite coloring of the strings, there is an infinite…