Related papers: Semi-equational theories

We establish fixed point theorems for nonlinear contractions on a metric space (not essentially complete) endowed with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially those…

We investigate a smoothing property for strongly-continuous operator semigroups, akin to ultracontractivity in parabolic evolution equations. Specifically, we establish the stability of this property under certain relatively bounded…

In this article, we present some fixed point theorems in partially ordered G-metric space using the concept of $(\psi,\phi)$- weak contraction which extend many existing fixed point theorems in such space. We also give some examples to show…

Weak similarities form a special class of mappings between semimetric spaces. Two semimetric spaces $X$ and $Y$ are weakly similar if there exists a weak similarity $\Phi\colon X\to Y$. We find a structural characteristic of finite…

We study $\varepsilon$-stability in continuous logic. We first consider stability in a model, where we obtain a definability of types result with a better approximation than that in the literature. We also prove forking symmetry for…

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical…

In this paper, we construct a new homology theory for semi-groups satisfying the self distributivity axiom or the idempotency axiom. Next, we consider the geometric realization corresponding to the homology theory. We continue with the…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

This paper is devoted to the well-posedness analysis of a nonstationary Stokes hemivariational inequality for an incompressible fluid flow described by the Stokes equations subject to a nonsmooth boundary condition of friction type…

The goal of these notes is to provide an introduction to rough partial differential equations. For this purpose, we will present the theory of rough paths to the extend as it is required. Applications to stochastic partial differential…

In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…

The notion of semi-classical states is first sharpened by clarifying two issues that appear to have been overlooked in the literature. Systems with linear and quadratic constraints are then considered and the group averaging procedure is…

In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.

Refined stability estimates are derived for classical mixed problems. The novel emphasis is on the importance of semi norms on data functionals, inspired by recent progress on pressure-robust discretizations for the incompressible…

This is a survey article on trees, with a modest number of proofs to give a flavor of the way these topologies can be efficiently handled. Trees are defined in set-theorist fashion as partially ordered sets in which the elements below each…

We introduce the notion of w-upper semicontinuous set valued maps and give a new fixed-point theorem. We also introduce the notion of set valued maps with e-USS-property. These results can be applied to obtain some new equilibrium theorems…

We present a variation of quasi-isometry to approach the problem of defining a geometric notion equivalent to commensurability. In short, this variation can be summarized as "quasi-isometry with uniform parameters for a large enough family…

In dealing with asymptotic approximation of possibly divergent nets of probability distributions, we are led to study uniform structures on the set of distributions. This paper identifies a class of such uniform structures that may be…

The connection between symmetries and linearizations of discrete-time dynamical systems is being inverstigated. It is shown, that existence of semigroup structures related to the vector field and having linear representations enables…

We determine the structure of the semisimple group algebra of certain groups over the rationals and over those finite fields where the Wedderburn decompositions have the least number of simple components. We apply our work to obtain similar…