Related papers: Four redundant axiomatics
A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative…
Semistable reduction theorem for projective morphisms in the category of complex analytic spaces is established.
We prove extension-dimensional versions of finite dimensional selection and approximation theorems. As applications, we obtain several results on extension dimension.
For a fixed set $X$, an arbitrary \textit{weight structure} $d \in [0,\infty]^{X \times X}$ can be interpreted as a distance assignment between pairs of points on $X$. Restrictions (i.e. \textit{metric axioms}) on the behaviour of any such…
In this paper, we introduce a generalization of rectangular $b-$metric spaces, by changing the rectangular inequality as follows \begin{equation*} \rho(x,y)\le \theta(x,y,u,v)[\rho(x,u)+\rho(u,v)+\rho(v,y)], \end{equation*}% for all…
This paper is concerned with the axiomatic basis of structures within Hypercompositional Algebra. It is proven that the axioms employed in the definition of numerous hypercompositional structures lack independence. Accordingly, novel…
For a cocycle of invertible real $n$-by-$n$ matrices, the Multiplicative Ergodic Theorem gives an Oseledets subspace decomposition of $\mathbb{R}^n$; that is, above each point in the base space, $\mathbb{R}^n$ is written as a direct sum of…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
A comprehensive approach to Sobolev-type embeddings, involving arbitrary rearrangement- invariant norms on the entire Euclidean space R^n, is offered. In particular, the optimal target space in any such embedding is exhibited. Crucial in…
We investigate a relations of almost isometric embedding and almost isometry between metric spaces and prove that with respect to these relations: (1) There is a countable universal metric space. (2) There may exist fewer than continuum…
The fourth derivative models for two dimensional gravity are shown to be equivalent to the special version of the nonlinear sigma models coupled to 2d quantum gravity. The reduction consists in the introduction of the auxiliary scalar…
We develop a theory that may be considered as a prequel to the coarse theory. We are viewing ends of spaces as extra points at infinity. In order to discuss behaviour of spaces at infinity one needs a concept (a measure) of approaching…
We study smooth rational closed embeddings of the real affine line into the real affine plane, that is algebraic rational maps from the real affine line to the real affine plane which induce smooth closed embeddings of the real euclidean…
We consider the equations $u_{yy} = u_y u_{xx} - (u_x + u)u_{xy} + u_x u_y$ and $u_{yy} = (u_x + x)u_{xy} - (u_{xx} + 2)u_y$ that arise as reductions of the universal hierarchy and rdDym equations, respectively, and describe the Lie…
A new method of metric space investigation, based on classification of its finite subspaces, is suggested. It admits to derive information on metric space properties which is encoded in metric. The method describes geometry in terms of only…
We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean…
It is shown how the dimension of any arbitrary over-determined system of differential equations can be reduced, which makes the system suitable for numerical solution modeling. Specifically, over-determined equations of hydrodynamics are…
The unprecedented prowess of measurement techniques provides a detailed, multi-scale look into the depths of living systems. Understanding these avalanches of high-dimensional data -- by distilling underlying principles and mechanisms --…
In this paper, we prove that the world of near-vector spaces allows us to work with non-linear problems and yet, gives access to most of the tools linear algebra has to offer. We establish some fundamental results for near-vector spaces…
We apply the invariant theory of surfaces in the four-dimensional Euclidean space to the class of general rotational surfaces with meridians lying in two-dimensional planes. We find all minimal super-conformal surfaces of this class.