Related papers: Semi-equational theories
We consider locally equi-continuous strongly continuous semigroups on locally convex spaces (X,tau). First, we show that if (X,tau) has the property that weak* compact sets of the dual are equi-continuous, then strong continuity of the…
We study quasi-semisimple elements of disconnected reductive algebraic groups over an algebraically closed field. We describe their centralizers, define isolated and quasi-isolated quasi-semisimple elements and classify their conjugacy…
The construction of the scalar theory based on the concept of gravity as Archimedes' thrust is briefly summarized, emphasizing the two (extreme) possibilities that result from this concept for the gravitational rod contraction: it can…
In this paper, we introduce the notion of partially ordered {\epsilon}-chainable metric spaces and we derive new coupled fixed point theorems for uniformly locally contractive mappings on such spaces.
A semilinear relation is a finite union of finite intersections of open and closed half-spaces over, for instance, the reals, the rationals, or the integers. Semilinear relations have been studied in connection with algebraic geometry,…
We briefly review a recently developed semiclassical theory for quantum oscillations in the spatial (particle and kinetic energy) densities of finite fermion systems and present some examples of its results. We then discuss the inclusion of…
It was shown by Visser that Peano Arithmetic has the property that any two bi-interpretable extensions of it (in the same language) are equivalent. Enayat proposed to refer to this property of a theory as tightness and to carry out a more…
We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…
We study evolution equations with non-self-adjoint generators, for example the convection-diffusion equation. Spectral expansions are not a reliable method of solving such equations, because they are so ill-conditioned. We introduce a new…
We study the complexity of reasoning in abstracts argumentation frameworks close to graph classes that allow for efficient reasoning methods, i.e.\ to one of the classes of acyclic, noeven, biparite and symmetric AFs. In this work we show…
Recently, developments in the understanding of low-energy N=1 supersymmetric gauge theory have revealed two important phenomena: the appearance of new four-dimensional superconformal field theories and a non-Abelian generalization of…
A formal expansion for the Green's functions of an interacting quantum field theory in a parameter that somehow encodes its "distance" from the corresponding non-interacting one was introduced more than thirty years ago, and has been…
In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize…
New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…
This work deals with the existence of an almost periodic solution for certain kind of differential equations with generalized piecewise constant argument, almost periodic coefficients which are seen as a perturbation of a linear equation of…
In this paper we give a first attempt to define and study stable distributions with respect to the weak generalized convolution, focusing our attention on the symmetric weakly stable distribution. As in the case of the classical…
This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. Skew monoidal closed categories represent a relaxed version…
In this paper we first introduce the unified definition of the sharp constant that includes constants in three major problems of approximation theory, such as, inequalities for approximating elements, approximation of individual elements,…
Fix a weakly minimal (i.e., superstable $U$-rank $1$) structure $\mathcal{M}$. Let $\mathcal{M}^*$ be an expansion by constants for an elementary substructure, and let $A$ be an arbitrary subset of the universe $M$. We show that all…
The well known concept, to reduce the spatio-temporal dynamics beyond instabilities of trivial states to amplitude modulated patterns, is reviewed from the point of view of a formal perturbation expansion for general dissipative partial…