Related papers: Dimension and measure in pseudofinite H-structures
The paper concerns a new method to obtain a direct proof of the openness at linear rate/metric regularity of composite set-valued maps on metric spaces by the unification and refinement of several methods developed somehow separately in…
We present a uniform description of $\mathrm{SU}(3)$-structures in dimension $6$ as well as $G_2$-structures in dimension $7$ in terms of a characterising spinor and the spinorial field equations it satisfies. We apply the results to…
In this paper we consider two types of dimension that can be defined for products of one-dimensional topologically totally transcendental (t.t.t) structures. The first is topological and considers the interior of projections of the set onto…
Let $\mathcal K=\langle\mathcal R, \delta\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R,…
We study new relations between countable iterated function systems (IFS) with overlaps, Smale endomorphisms and random systems with complete connections. We prove that stationary measures for countable conformal IFS with overlaps and…
We explore quantitative descriptors that herald when a many-particle system in $d$-dimensional Euclidean space $\mathbb{R}^d$ approaches a hyperuniform state as a function of the relevant control parameter. We establish quantitative…
The concept of a hyperuniformity disorder length $h$ was recently introduced for analyzing volume fraction fluctuations for a set of measuring windows. This length permits a direct connection to the nature of disorder in the spatial…
The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical structures defined in a…
The MBE grown Si$_{1-x}$Ge$_x$ islands on reconstructed high index surfaces, such as, Si(5 5 12), Si(5 5 7) and Si(5 5 3) show a universality in the shape evaluation and the growth exponent parameters, \emph{irrespective} of the substrate…
By an additive structure on a hypersurface S in projective space we mean an effective action of commutative unipotent group on projective space which leaves S invariant and acts on S with an open orbit. It is known that these structures…
We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only, with an additional mild hypothesis on well-ordering…
Starting with the work of Preiss on the geometry of measures, the classification of uniform measures in $\mathbb R^d$ has remained open, except for $d=1$ and for compactly supported measures in $d=2$, and for codimension $1$. In this paper…
We show that a wide class of geometrically defined overdetermined semilinear partial differential equations may be explicitly prolonged to obtain closed systems. As a consequence, in the case of linear equations we extract sharp bounds on…
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…
We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…
We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for $\Pi^1_1$-sets of positive measure to computability and semicomputability relative to the Suslin…
Let U be a monster model and let D be a subset of U. Let (U,D) denote theexpansion of U with a new predicate for D. Write e(D) for the collection of all subsets C of U such that (U,C) is elementary equivalent to (U,D). We prove that if e(D)…
We consider the problem of computing the measure of a regular language of infinite binary trees. While the general case remains unsolved, we show that the measure of a language defined by a first-order formula with no descendant relation or…
The parametrization theorem is derived in a flat nD pseudo-complex affine space. The pseudo-complex hyperbolic space accomodates n-number of uncompactified time-like extra dimensions with sugnature (s,r), where s and r are the numbers of…