Related papers: Preservation of NATP
Motivated by many applications (geophysical flows, general relativity), we attempt to set the foundations for a study of entropy solutions to nonlinear hyperbolic conservation laws posed on a (Riemannian or Lorentzian) manifold. The flux of…
We provide a direct proof of Agafonov's theorem which states that finite state selection preserves normality. We also extends this result to the more general setting of shifts of finite type by defining selections which are compatible the…
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…
In this paper we will show how to constructed an Skew-Field with trace-preserving endomorphisms of the affine plane. Earlier in my paper, we doing a detailed description of endomorphisms algebra and trace-preserving endomorphisms algebra in…
We show that some abstract results on propagation of fixed points for completely positive maps on $C^*$-algebras provide a natural approach to unify recent Noether type theorems on the equivalence of symmetries with conservation laws for…
The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense. This operation models a logical `tangle modality' connective, of significance in finite model…
We prove a strong simultaneous Diophantine approximation theorem for values of additive and multiplicative functions provided that the functions have certain regularity on the primes.
Open descendants extend Conformal Field Theory to unoriented surfaces with boundaries. The construction rests on two types of generalizations of the fusion algebra. The first is needed even in the relatively simple case of diagonal models.…
Starting from a very general trace-form entropy, we introduce a pair of algebraic structures endowed by a generalized sum and a generalized product. These algebras form, respectively, two Abelian fields in the realm of the complex numbers…
We suggest a generalization of \pi_0 for topological groupoids, which encodes incidence relations among the strata of the associated quotient object, and argue for its utility by example, starting from the orbit categories of the theory of…
We prove that in a compact manifold of dimension $n\geq 2$, a $C^{1+\alpha}$ volume-preserving diffeomorphisms that are robustly transitive in the $C^1$-topology have a dominated splitting. Also we prove that for 3-dimensional compact…
We show that the family of nest algebras with $r$ non-zero nest projections is stable, in the sense that an approximate containment of one such algebra within another is close to an exact containment. We use this result to give a local…
It is shown that the Kadanoff-Baym equations at consistent first-order gradient approximation reveal exact rather than approximate conservation laws related to global symmetries of the system. The conserved currents and energy-momentum…
In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let $\mathfrak{Th}$ denote the class of models of PA which admit an expansion to a model of…
We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much simpler proof of descent for stably dominated types in…
We prove a sufficient condition for the existence of explicit first integrals for vector fields which admit an integrating factor. This theorem recovers and extends previous results in the literature on the integrability of vector fields…
We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…
Density of stable maps is the common thread of this paper. We review Whitney's contribution to singularities of differentiable mappings and Thom-Mather theories on $C^{\infty}$ and $C^{0}$-stability. Infinitesimal and algebraic methods are…
We provide conditions under which the union of two first-order theories has the amalgamation property.
We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion…