Related papers: Yoneda Completeness
Not any geometry can be axiomatized. The paradoxical Godel's theorem starts from the supposition that any geometry can be axiomatized and goes to the result, that not any geometry can be axiomatized. One considers example of two close…
The objective of this paper is to present two types of results on Minkowski sums of convex polytopes. The first is about a special class of polytopes we call perfectly centered and the combinatorial properties of the Minkowski sum with…
In this paper we presents further developments regarding the enrichment of the basic Theory of Order Completion. In particular, spaces of generalized functions are constructed that contain generalized solutions to all systems of continuous,…
We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.
We show that the truncation of twisted Yangians are isomorphic to finite W-algebras based on orthogonal or symplectic algebras. This isomorphism allows us to classify all the finite dimensional irreducible representations of the quoted…
We show that there exists a generalized, universal notion of the trace anomaly for theories which are not conformally invariant at the classical level. The definition is suitable for any regularization scheme and clearly states to what…
The symmetric Macdonald polynomials are able to be constructed out of the non-symmetric Macdonald polynomials. This allows us to develop the theory of the symmetric Macdonald polynomials by first developing the theory of their non-symmetric…
We provide a twofold extension of Landau--Pollak uncertainty relations for mixed quantum states and for positive operator-valued measures, by recourse to geometric considerations. The generalization is based on metrics between pure states,…
A Minkowski symmetral of an $\alpha$-concave function is introduced, and some of its fundamental properties are derived. It is shown that for a given $\alpha$-concave function, there exists a sequence of Minkowski symmetrizations that…
The generalized symmetry method is applied to a class of completely discrete equations including the Adler-Bobenko-Suris list. Assuming the existence of a generalized symmetry, we derive a few integrability conditions suitable for testing…
We introduce a new class of Wasserstein-type distances specifically designed to tackle questions concerning stability and convergence to equilibria for kinetic equations. Thanks to these new distances, we improve some classical estimates by…
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results about complete orders, often with only antisymmetry or…
We prove that the orbit closure of the determinant is not normal. A similar result is obtained for the orbit closure of the permanent multiplied by a power of a linear form.
We review the origin of the physical consistency of the Lorentz- Poincar\'e symmetry. We outline seemingly catastrophic physical inconsistencies recently identified for noncanonical-nonunitary generalized theories defined on conventional…
We settle a question posed by Umehara and Yamada, which generalizes a completeness lemma useful in differential geometry.
We provide a coherence-based approach to nonclassical behavior by means of distance measures. We develop a quantitative relation between coherence and nonclassicality quantifiers, which establish the nonclassicality as the maximum…
Certain notions of convergence of sequences functions such as pointwise convergence and (uniform) convergence on compact or bounded sets come from suitable topological function spaces; see [1]. Under certain conditions these topologies…
This paper introduces a new approach to finding knots and links with hidden symmetries using "hidden extensions", a class of hidden symmetries defined here. We exhibit a family of tangle complements in the ball whose boundaries have…
In this paper, we study boundedness, uniform stability and asymptotic stability of a class of nonlinear neutral delay differential equations by using Krasnoselskii's fixed point theorem. The results obtained in this paper extend and improve…
We study a higher order conformally coupled scalar tensor theory endowed with a covariant geometric constraint relating the scalar curvature with the Gauss-Bonnet scalar. It is a particular Horndeski theory including a canonical kinetic…