Related papers: Dependence spaces
This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic…
We study substitutive systems generated by nonprimitive substitutions and show that transitive subsystems of substitutive systems are substitutive. As an application we obtain a complete characterisation of the sets of words that can appear…
We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The…
Classical results for exchangeable systems of random variables are extended to multi-class systems satisfying a natural partial exchangeability assumption. It is proved that the conditional law of a finite multi-class system, given the…
We prove, with no claim to originality, a relative version of the Fujita-Zariski theorem. When the base is a field, this result is due to Fujita (1983) and states that if an invertible sheaf on a proper variety is ample on its base locus,…
We derive two consequences of the multivariate fundamental theorem of algebra (MFTA). The first one is the Bezout theorem for $n$ polynomials. Notably the intersection multiplicities, as in MFTA, are characterized just by means of partial…
Two years ago, Conlon and Gowers, and Schacht proved general theorems that allow one to transfer a large class of extremal combinatorial results from the deterministic to the probabilistic setting. Even though the two papers solve the same…
A nested occupancy scheme in random environment is a generalization of the classical Karlin infinite balls-in-boxes occupancy scheme in random environment (with random probabilities). Unlike the Karlin scheme in which the collection of…
A crucial step in the history of General Relativity was Einstein's adoption of the principle of general covariance which demands a coordinate independent formulation for our spacetime theories. General covariance helps us to disentangle a…
This work provides a unified formalism for studying difference and (Hasse-) differential algebraic geometry, by introducing a theory of "iterative Hasse rings and schemes". As an application, Hasse jet spaces are constructed generally,…
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…
In 1931 de Finetti proved what is known as his Dutch Book Theorem. This result implies that the finite additivity {\it axiom} for the probability of the disjunction of two incompatible events becomes a {\it consequence} of de Finetti's…
Among other results, we prove the following theorem about Steiner minimal trees in $d$-dimensional Euclidean space: if two finite sets in $\mathbb{R}^d$ have unique and combinatorially equivalent Steiner minimal trees, then there is a…
The notion of {\it free} generalized vertex algebras is introduced. It is equivalent to the notion of {\it generalized principal subspaces} associated with lattices which are not necessarily integral. Combinatorial bases and the characters…
Inter-level connections in science routinely require constructs that neither of the connected theories contains. Statistical mechanics requires assumptions such as the Stosszahlansatz to generate thermodynamic irreversibility - assumptions…
We prove a high order Schwarz-Pick lemma for mappings between unit balls in complex spaces in terms of the Bergman metric. From this lemma, Schwarz-Pick estimates for partial derivatives of arbitrary order of mappings are deduced.
If space is indistinguishable from the extension of a physical body, as is Descartes's conception, then transformations of space become transformations of physical bodies. Every point of space then has properties of physical bodies in some…
We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is…
We consider the restriction of interval exchange transformations to algebraic number fields, which leads to maps on lattices. We characterize renormalizability arithmetically, and study its relationships with a geometrical quantity that we…
In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of…