Related papers: Residuated Park Theories
We identify a symplectic potential for general relativity in tetrad and connection variables that is fully gauge-invariant, using the freedom to add surface terms. When torsion vanishes, it does not lead to surface charges associated with…
Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of…
We prove that every integral rig in Sets is (functorially) the rig of global sections of a sheaf of really local integral rigs. We also show that this representation result may be lifted to residuated integral rigs and then restricted to…
A simple local proof of Noether's Second Theorem is given. This proof immediately leads to a generalization of the theorem, yielding conservation laws and/or explicit relationships between the Euler--Lagrange equations of any variational…
We classify all functions which, when applied term by term, leave invariant the sequences of moments of positive measures on the real line. Rather unexpectedly, these functions are built of absolutely monotonic components, or reflections of…
We prove that every countable left-ordered group embeds into a finitely generated left-ordered simple group. Moreover, if the first group has a computable left-order, then the simple group also has a computable left-order. We also obtain a…
An MV-algebra (equivalently, a lattice-ordered Abelian group with a distinguished order unit) is strongly semisimple if all of its quotients modulo finitely generated congruences are semisimple. All MV-algebras satisfy a Chinese Reminder…
We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart…
Noether's theorem, which connects continuous symmetries to exact conservation laws, remains one of the most fundamental principles in physics and dynamical systems. In this work, we draw a conceptual parallel between two paradigms: the…
We prove existence and uniqueness of strong solutions for a class of semilinear stochastic evolution equations driven by general Hilbert space-valued semimartingales, with drift equal to the sum of a linear maximal monotone operator in…
A well-known conjecture of Orlov asks whether the existence of a full exceptional collection implies rationality of the underlying variety. We prove this conjecture for arithmetic toric varieties over general fields. We also investigate a…
We consider the problem of a conditional extremum of an action in a class of fields constrained by differential equations. For this setup, we propose an extension of Noether's first theorem to connect the symmetries of the action and the…
A general theorem on conservation laws for arbitrary difference equations is proved. The theorem is based on an introduction of an adjoint system related with a given difference system, and it does not require the existence of a difference…
An order-theoretic forest is a countable partial order such that the set of elements larger than any element is linearly ordered. It is an order-theoretic tree if any two elements have an upper-bound. The order type of a branch can be any…
The present paper is concerned with the relation between recurrence axioms and Laver-generic large cardinal axioms in light of principles of generic absoluteness and the Ground Axiom. M. Viale proved that Martin's Maximum$^{++}$ together…
The classical Loewner's theorem states that operator monotone functions on real intervals are described by holomorphic functions on the upper half-plane. We characterize local order isomorphisms on operator domains by biholomorphic…
The existence of random attractors for singular stochastic partial differential equations (SPDE) perturbed by general additive noise is proven. The drift is assumed only to satisfy the standard assumptions of the variational approach to…
A lattice-ordered group (an $\ell$-group) $G(\oplus, \vee, \wedge)$ can be naturally viewed as a semiring $G(\vee,\oplus)$. We give a full classification of (abelian) $\ell$-groups which are finitely generated as semirings, by first showing…
We consider a system of ODE in a Fr\'echet space with unconditional Schauder basis. The right side of the ODE is a discontinuous function. Under certain monotonicity conditions we prove an existence theorem for the corresponding initial…
A partitioned process theory, as defined by Coecke, Fritz, and Spekkens, is a symmetric monoidal category together with an all-object-including symmetric monoidal subcategory. We think of the morphisms of this category as processes, and the…