Related papers: Hanf Locality and Invariant Elementary Definabilit…
A new class of shifted homotopy operators in higher-spin gauge theory is introduced. A sufficient condition for locality of dynamical equations is formulated and Pfaffian Locality Theorem identifying a subclass of shifted homotopies that…
Let f be an entire function that has only finitely many critical and asymptotic values. Up to topological equivalence, the function $f$ is determined by combinatorial information, more precisely by an infinite graph known as a…
The notions of Betti numbers and of Bass numbers of a finite module N over a local ring R are extended to modules that are only assumed to be finite over S, for some local homomorphism f: R --> S. Various techniques are developed to study…
The paper aims to establish a convenient formal framework for investigating the phenomenon of scheme definiteness, exemplified by first-order internal categoricity as studied by V\"a\"an\"anen, among others. To this end, we introduce the…
We provide the full classification, in arbitrary even and odd dimensions, of global conformal invariants, i.e., scalar densities in the spacetime metric and its derivatives that are invariant, possibly up to a total derivative, under local…
This contribution is the first in a series of three: it reports on the construction of (a fine sheaf of) diffeomorphism invariant Colombeau algebras on open sets of Eucildean space, which completes earlier approaches. Part II and III will…
In this paper, we study the construction of Lyapunov functions based on first order approximations. In a first part, the study of local exponential stability property of a transverse invariant manifold is considered. This part is mainly a…
We define a new algebraic structure called a \emph{pointed rack} and use it to construct ambient isotopy invariants of $ n $-braids. We first introduce an integer-valued invariant of braids using pointed racks. This is then strengthened by…
The category $\bcalNT$ is a category of certain commutative graded algebras over a field. It was introduced in \cite{Lobos2} as a generalization of algebras generated by Jucys-Murphy elements in the many \textbf{End} algebras of the…
In this note we study several topics related to the schema of local reflection $\mathsf{Rfn}(T)$ and its partial and relativized variants. Firstly, we introduce the principle of uniform reflection with $\Sigma_n$-definable parameters,…
Thurston defined invariant laminations, i.e. collections of chords of the unit circle $S^1$ (called \emph{leaves}) that are pairwise disjoint inside the open unit disk and satisfy a few dynamical properties. To be directly associated to a…
We describe a recently introduced principle of relative locality which we propose governs a regime of quantum gravitational phenomena accessible to experimental investigation. This regime comprises phenomena in which $\hbar$ and $G_N$ may…
In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends…
We consider a class of non-locally compact groups on which one may define a left-invariant, finitely additive measure taking values in some finitely generated extension of the field $\mathbb{R}$ of real numbers. In particular, we recover…
This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…
Exchangeability -- in which the distribution of an infinite sequence is invariant to reorderings of its elements -- implies the existence of a simple conditional independence structure that may be leveraged in the design of statistical…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples…
We describe a framework in which is possible to develop and implement algorithms for the approximation of invariant measures of dynamical systems with a given bound on the error of the approximation. Our approach is based on a general…
We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).