Related papers: Semi-equational theories
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
We study the properties of a non-abelian gauge theory subjected to a gauge invariant constraint given by the classical equations of motion. The constraint is not imposed by hand, but appears naturally when we study a particular type of…
This paper introduces semiopen and semiclosed soft sets in soft topological spaces. The notions of interior and closure are generalized using these sets. A detail study is carried out on properties of semiopen, semiclosed soft sets, semi…
We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.
We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…
A nonlinear partial differential equation is a nonlinear relationship between an unknown function and how it changes due to two or more input variables. A numerical method reduces such an equation to arithmetic for quick visualization, but…
Classical conditions for ensuring the robust stability of a linear system in feedback with a sector-bounded nonlinearity include small gain, circle, passivity, and conicity theorems. In this work, we present a similar stability condition,…
New notions are introduced in algebra in order to better study the congruences in number theory. For example, the <special semigroups> makes an important such contribution.
Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…
We study the question of existence of positive steady states of nonlinear evolution equations. We recast the steady state equation in the form of eigenvalue problems for a parametrised family of unbounded linear operators, which are…
The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference,…
We study fixed points and phase diagrams of semi-simple supersymmetric gauge theories coupled to chiral superfields and a superpotential. Particular emphasis is put on new phenomena which arise due to the semi-simple nature of gauge…
We prove a strong non-structure theorem for a class of metric structures with an unstable pair of formulae. As a consequence, we show that weak categoricity (that is, categoricity up to isomorphisms and not isometries) implies several…
It is well-known that the theories of semi-vector spaces and semi-algebras -- which were not much studied over time -- are utilized/applied in Fuzzy Set Theory in order to obtain extensions of the concept of fuzzy numbers as well as to…
The concepts of complementarity and entanglement are considered with respect to their significance in and beyond physics. A formally generalized, weak version of quantum theory, more general than ordinary quantum theory of material systems,…
A new, extended nonlinear framework of the ordinary real analysis incorporating a novel concept of {\em duality structure} and its applications into various nonlinear dynamical problems is presented. The duality structure is an asymptotic…
The linear approximation of scalar-tensor theories of gravity is obtained in the physical (Jordan) frame under the 4+0 (covariant) and 3+1 formalisms. Then the weak-field limit is analyzed and the conditions leading to significant…
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of…
We introduce a class of real algebraic varieties characterised by a simple rationality condition, which exhibit strong properties regarding approximation of continuous and smooth mappings by regular ones. They form a natural counterpart to…
In this paper we introduce a new semicontinuity notion, which is weaker than upper semicontinuity, and assures the closedness of the sets $G(y)=\{x\in K: f(x,y)\not\in -\inte C\}.$ Furhter, this semicontinuity is also closed under addition.…