Related papers: Variations on a theorem by Edwards

Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all…

We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for…

In this paper we study $2$nd order $L^\infty$ variational problems, through seeking to minimise a supremal functional involving the Hessian of admissible functions as well as lower-order terms. Specifically, given a bounded domain…

We study some dynamical aspects of gauge theories on noncommutative tori. We show that Morita duality, combined with the hypothesis of analyticity as a function of the noncommutativity parameter Theta, gives information about singular…

We study integrals of the form $\int_{\Omega}f\left( d\omega\right)$, where $1\leq k\leq n$, $f:\Lambda^{k}\rightarrow\mathbb{R}$ is continuous and $\omega$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity,…

In this note we provide a full conjugacy and subdifferential calculus for convex convex-composite functions in finite-dimensional space. Our approach, based on infimal convolution and cone-convexity, is straightforward and yields the…

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can…

This article develops a duality principle applicable to a large class of variational problems. Firstly, we apply the results to a Ginzburg-Landau type model. In a second step, we develop another duality principle and related primal dual…

In this paper we present a theory for the existence of multiple nontrivial solutions for a class of perturbed Hammerstein integral equations. Our methodology, rather than to work directly in cones, is to utilize the theory of fixed point…

We consider Brouwer's fixed point theorem and Sperner's lemma in one dimension. We present a proof of the Brouwer theorem using the Sperner lemma, and vice versa. However, we also show that they are not equivalent, because the Sperner lemma…

This paper improves two existing theorems of interest to neo-logicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic.…

We propose a framework for a new type of finite field theories based on a hidden duality between an ultra-violet and an infra-red region. Physical quantities do not receive radiative corrections at a fundamental scale or the fixed point of…

We study systematically the higher order corrections to the parity violating part of the effective action for the Abelian Chern-Simons theory in 2+1 dimensions, using the method of derivative expansion. We explicitly calculate the parity…

In the previous version of this paper we prove a theorem on the boundary behavior of the conical plurisubharmonic measure. However, the proof turns out to be incomplete. In the present version we give a corrected proof of this theorem. We…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

We show how our recent results on compositions of d.c. functions (and mappings) imply positive results on extensions of d.c. functions (and mappings). Examples answering two natural relevant questions are presented. Two further theorems,…

In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation…

In theories of Einstein gravity coupled with a dilaton and a two-form, a soft theorem for the two-form, known as the Kalb-Ramond B-field, has so far been missing. In this work we fill the gap, and in turn formulate a unified soft theorem…

For a discrete function $f\left( x\right) $ on a discrete set, the finite difference can be either forward and backward. However, we observe that if $ f\left( x\right) $ is a sum of two functions $f\left( x\right) =f_{1}\left( x\right)…